CertiKProject / zkwasm-fvLinks
Formal verification of the zkWasm project
☆14Updated last year
Alternatives and similar repositories for zkwasm-fv
Users that are interested in zkwasm-fv are comparing it to the libraries listed below
Sorting:
- A support library for working with zero knowledge cryptography in Lean 4.☆39Updated last month
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆71Updated 2 years ago
- A formal verification of Linear PCP SNARKs.