Repositories list

• Cardano-Semaphore

  Public
  Semaphore port to the Cardano blockchain

  Gleam

  •0•0•0•0•Updated Nov 12, 2024Nov 12, 2024

• modp-semaphore-bls12381

  Public
  TypeScript

  •0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

• ak-381

  Public
  Aiken implementation of Groth16 validator using bls12-381 curve.

  JavaScript

  •2•3•0•0•Updated Sep 17, 2024Sep 17, 2024

• zk-mastermind-docker

  Public
  Shell

  •0•1•0•0•Updated Sep 3, 2024Sep 3, 2024

• zk-mastermind-backend

  Public
  TypeScript

  •0•1•0•0•Updated Sep 3, 2024Sep 3, 2024

• settled-pimt

  Public
  Settled Plutus Merkle Tree

  TypeScript

  •0•0•0•0•Updated Jul 10, 2024Jul 10, 2024

• modp-web

  Public
  Modulo-p web page.

  HTML

  •0•0•0•0•Updated May 8, 2024May 8, 2024

• zk-mastermind-webapp

  Public
  TypeScript

  •1•0•1•0•Updated May 3, 2024May 3, 2024

• zk-mastermind-backend-onchain

  Public
  Haskell

  •

  MIT License

  •0•0•0•0•Updated Apr 19, 2024Apr 19, 2024

• zk-mastermind-circom

  Public
  JavaScript

  •0•0•0•0•Updated Apr 1, 2024Apr 1, 2024

• zk-mastermind-plutus

  Public
  On-chain code of the zk-mastermind demo

  Haskell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Mar 30, 2024Mar 30, 2024

• zk-mastermind-aiken

  Public
  Mastermind game implemented in Aiken

  0•1•0•0•Updated Mar 28, 2024Mar 28, 2024

• hydra-node-plutusv3

  Public
  Experimental Hydra Plutus V3 setup

  Shell

  •0•2•0•0•Updated Mar 27, 2024Mar 27, 2024

• plutus-groth

  Public
  Plutus Groth validator library

  Haskell

  •

  MIT License

  •0•1•0•0•Updated Mar 23, 2024Mar 23, 2024

• cardano-serialization-lib

  Public
  This is a library, written in Rust, for serialization & deserialization of data structures used in Cardano's Haskell implementation of Alonzo along with useful utility functions.

  Rust

  •

  Other

  •125•0•0•0•Updated Mar 13, 2024Mar 13, 2024

• groth-pairing

  Public
  Pairing implementation for curves BN128 and BLS12-381

  millerpairing-cryptographyelliptic-curve-cryptography

  Haskell

  •

  Other

  •0•2•0•0•Updated Mar 4, 2024Mar 4, 2024

• ak-128

  Public
  Aiken implementation of the Groth16 verifier contract using BN128 curve.

  0•1•1•0•Updated Dec 12, 2023Dec 12, 2023

• miller-first-study

  Public
  Basic implementation of Miller's algorithm

  Haskell

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Nov 14, 2023Nov 14, 2023

• groth-validator

  Public
  Haskell

  •

  GNU General Public License v2.0

  •0•1•0•0•Updated Nov 6, 2023Nov 6, 2023

• zk-snark

  Public
  Bringing zk-snarks to Cardano

  plutuszk-snarkscardano+ 1zero-knowledge-proofs

  Haskell

  •

  MIT License

  •0•5•0•0•Updated Aug 20, 2023Aug 20, 2023