Pinned Loading

1. risc0-groth16-bls risc0-groth16-bls Public

   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 3

2. risc0 risc0 Public

   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. mithril mithril Public

   Forked from input-output-hk/mithril

   Stake-based threshold multi-signatures protocol

   Rust

4. mithril-dwarf mithril-dwarf Public

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

   Rust

5. oakshield-aiken oakshield-aiken Public

   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-snark bls-snark Public

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

   Go 2