zk-stark
There are 4 repositories under zk-stark topic.
starkscan/starkscan-verifier
Verify Cairo contracts on Starkscan in 1 minute.
risc0/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
itzmeanjan/rescue-prime
Rescue Prime Hash Function
staverm/VRPS
Theoretical foundations for Verifiable Random Peer Sampling