This folder contains my solutions to the homework assigned in the bootcamp and notes.
Last sync with the repo : c2ac5c202e0cb5be7d210b7d29fcb026673f9f8f.
zkEVM Bootcamp
$ git log --oneline --graph
b4211f2
Day 21
Formal Verification Today’s topic was about verifying the correctness of a proving system or a circuit with formal …
34d682f
Day 22
Presentation by Iryna from RISC Zero RISC Zero is a zkVM system that can run general-purpose verifiable code.
As any VM, …
cb7332d
Day 23
Presentation by Ye from Scroll Scroll is one of the most popular zk-rollups on Ethereum.
The team targets bytecode …