Milestone: Proving System Our proving system is a proof carrying data (PCD) scheme based on a variation of the Marlin SNARK (2019). Our ecosystem consists of competing SNARK workers which work in parallel on merging proofs in a tree like manner. To achieve optimal performance, we adapt Halo’s (2019) amortization strategy to the expensive parts of proof verification. As for Halo, our Darlin proof system uses a cycle of non-pairing friendly elliptic curves and does not need any trusted setup ceremony. This allows users to easily setup trustworthy sidechains on their own without worrying about toxic waste.
development completion