DimitriosMitsios/openvm-ream
using openvm to prove an attestation in ream
Repositories
DimitriosMitsios/CompPoly
A computable model of Polynomials in Lean.
DimitriosMitsios/ArkLib
Formally Verified Arguments of Knowledge in Lean
DimitriosMitsios/ream
ream: an Ethereum Lean client written in Rust
DimitriosMitsios/cohort-six
Cohort 6 of Ethereum Protocol Fellowship
DimitriosMitsios/risc0-demo-pwd
DimitriosMitsios/protocol-studies
A study group learning about Ethereum and building protocol wiki