Figuring out this whole crypto thing
sp1-storage-proof. Literally the SIMPLEST implementation of an EVM storage proof inside SP1
14dorsiaclub. Customizable NFT Business Cards
3recursive-gaming. A recursive scheme for gaming built on MIna protocol
2bq2. On-chain privacy preserving education platform
2bq. Block Qualified - Verify your credentials by solving multiple choice tests directly on-chain. Powered by ZK-SNARKS
2bq-core. Verify your credentials by solving tests directly on-chain.
1rollup-demo. Basic rollup implementation based on ZK-SNARKS
1lean-imt. Lean incremental Merkle tree implementation in Rust for zkVM programs
1