Blocksmithy

Pinned Loading

1. risc0-groth16-blsrisc0-groth16-blsPublic

   A gnark (Go) circuit that verifies a RISC Zero succinct STARK receipt inside a Groth16 proof over BLS12-381 — settling RISC Zero proofs on Cardano with one native pairing check, no BN254.

   Go 4

2. risc0risc0Public

   Forked from risc0/risc0

   RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture. BLS12-381 STARK to SNARK.

   C++

3. mithrilmithrilPublic

   Forked from IntersectMBO/mithril

   Stake-based threshold multi-signatures protocol

   Rust

4. mithril-dwarfmithril-dwarfPublic

   Cycle-optimized, allocation-free Cardano Mithril certificate verifier for zkVM guests, bit-equivalent to upstream Mithril.

   Rust

5. oakshield-aikenoakshield-aikenPublic

   Aiken primitives for verifying zero-knowledge (Groth16 over BLS12-381) and Merkle proofs on Cardano, including on-chain Mithril transaction-inclusion verification.

   Aiken

6. bls-snarkbls-snarkPublic

   Wraps a risc0 Groth16 BN254 SNARK into a Groth16 BLS 12-381 SNARK

   Go 2