🥸
Highlights
Lists (1)
Sort Name ascending (A-Z)
Stars
7
stars
written in Rust
Clear filter
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Noir is a domain specific language for zero knowledge proofs
an introduction to noir, with simple examples