zkllvm-blueprint
zkllvm-blueprint copied to clipboard
Cleanups and miscellaneous fixes
Fixes are relevant to:
- Updating R1CS circuits to be at least compilable.
- Updating old Kimchi/Pickes circuits architecture in preparations to merging together with #102 and then factoring out of blueprint to https://github.com/NilFoundation/mina-state-proof.
- Preparations for architecture refactoring to support TFHE/CKKS/BGV polynoms definition.
This PR is a PR for an ongoing effort to cleanup the library and interfaces. It is made to be easily mergeable.