Pinned Repositories
plonky2
Plonky3
A toolkit for polynomial IOPs (PIOPs)
sp1
A performant, 100% open-source, contributor-friendly zkVM.
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
plonky2
rrs
Rust RISC-V Simulator
simulations
An interace to generate simulations of distributed systems
zk_hack_puzzles
Solutions and explanations for the puzzles given at the ZK Hack III event
valida
A STARK-based VM focused on code reuse, performance, and modularity
tamirhemo's Repositories
tamirhemo/zk_hack_puzzles
Solutions and explanations for the puzzles given at the ZK Hack III event
tamirhemo/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
tamirhemo/rrs
Rust RISC-V Simulator
tamirhemo/plonky2
tamirhemo/simulations
An interace to generate simulations of distributed systems