makxenov
commented
8 months ago Current questions:
- Entry point of the circuit and a format of input
- How to deal with dynamic data structures (
std::vectorandstd::mapare used in verifier but currently unsupported in compiler) - Do we need support of
alt_bn128? Naive circuit compilation fails on this class, is it really used?
We need to support the direct compilation of the Placeholder verifier. This is crucial for recursion support and continuous prover performance updates.