RogerTaule/zilkworm
A fast, modular, optimized ZKEVM core written in C++
A fast, modular, optimized ZKEVM core written in C++
Lightweight super-fast EVM for RISCV and ZK applications
A universal soundness calculator across hash-based zkEVMs and security regimes
zkSnark circuit compiler
Example Circom repository for devconnect
Nova Verifier in Circom so it can be verified onChain
week 2 coding assignment
week 1 coding assignment