correctness of on-chain data

[bl4ck5un]

Thanks for the code. Very helpful to understand the details. I have one question though:

In order to ensure this, we pass every updated leaf to the smart contract so that data will always be available.

Does the prover prove the correctness of these data? Are they taken into account when the contract verifies the snark?

[barryWhiteHat]

In realitiy yes. But this code is very POC at the moment. There are better implemetations that you can check out https://github.com/iden3/rollup is paritally finished. I will link again when they publish the final version.

What is your interest in rollup ? Are you planning to implement it for a certain usecase ?