MinaProtocol / mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
https://minaprotocol.com
Apache License 2.0
1.99k stars 527 forks source link

Include proofs in interaction transactions with zkapps #10616

Closed bkase closed 2 years ago

mitschabaude commented 2 years ago

This included two tasks:

For the second task, it turned out that we had to fix the max number of merged proofs per zkapp (max_branching) to 2. This is bad for the average developer, who won't need to merge any proofs, and thus could have much faster compile & prove times with max_branching=0. Will track that in a separate issue.