Skip to content
@blocksmithy

Blocksmithy

A forge for blockchain systems — from primitives to products, cryptography to deployment.

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 4

  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 IntersectMBO/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

Repositories

Showing 7 of 7 repositories
  • 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.

    blocksmithy/risc0's past year of commit activity
    C++ 0 Apache-2.0 747 0 0 Updated Jul 23, 2026
  • 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.

    blocksmithy/oakshield-aiken's past year of commit activity
    Aiken 0 Apache-2.0 0 0 0 Updated Jun 28, 2026
  • mithril Public Forked from IntersectMBO/mithril

    Stake-based threshold multi-signatures protocol

    blocksmithy/mithril's past year of commit activity
    Rust 0 Apache-2.0 51 0 2 Updated Jun 28, 2026
  • 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.

    blocksmithy/risc0-groth16-bls's past year of commit activity
    Go 4 Apache-2.0 0 0 1 Updated Jun 28, 2026
  • mithril-dwarf Public

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

    blocksmithy/mithril-dwarf's past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Jun 26, 2026
  • gnark-mpc-ceremony Public

    Circuit-agnostic Groth16 trusted-setup (MPC) ceremony coordinator, built on gnark.

    blocksmithy/gnark-mpc-ceremony's past year of commit activity
    Go 0 Apache-2.0 0 0 0 Updated Jun 24, 2026
  • bls-snark Public

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

    blocksmithy/bls-snark's past year of commit activity
    Go 2 Apache-2.0 0 0 0 Updated Jun 18, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…