proof-system topic
List
proof-system repositories
trafficstars
zkLLVM
266
Stars
41
Forks
Watchers
Zero-Knowledge Proof Systems Circuit Compiler
sirius
117
Stars
17
Forks
Watchers
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
kakarot
883
Stars
239
Forks
Watchers
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Aero
39
Stars
2
Forks
Watchers
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain