Utsav Jain

This is most likely due to a mismatch between the current graph and the graph from the checkpoint. Please ensure that you have not altered the graph expected based on...

Solving cross verification of n-recursed circuits using Domain Separator

4

Hey Team, We have been trying to figure out a Universal Proof Aggregator for Plonky2 circuits. Ideally we want the aggregator circuit to have a constant verification key irrespective of...

The issue which arised when trying to generate witness through cpp executable was resolved by accessing lookup tables using under-constrained index selector.