-
Succinct
- San Francisco, CA
-
sp1-zkEmail Public
Forked from zkemail/sp1-zkEmailSP1 Implementation of ZKEmail Circuits
Rust MIT License UpdatedJan 25, 2025 -
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
-
-
simulations Public
An interace to generate simulations of distributed systems
Rust UpdatedDec 24, 2022 -
zk_hack_puzzles Public
Solutions and explanations for the puzzles given at the ZK Hack III event