Blocksmithy
Change the repository type filter
All
Repositories list
7 repositories
oakshield-aiken
PublicAiken primitives for verifying zero-knowledge (Groth16 over BLS12-381) and Merkle proofs on Cardano, including on-chain Mithril transaction-inclusion verificati…mithril
Publicrisc0-groth16-bls
PublicA 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 nati…mithril-dwarf
PublicCycle-optimized, allocation-free Cardano Mithril certificate verifier for zkVM guests, bit-equivalent to upstream Mithril.gnark-mpc-ceremony
PublicCircuit-agnostic Groth16 trusted-setup (MPC) ceremony coordinator, built on gnark.risc0
Publicbls-snark
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.