Skip to content

@Modulo-P Modulo-P

Change the repository type filter

All

    Repositories list

    21 repositories

    • Cardano-Semaphore

      Public
      Semaphore port to the Cardano blockchain
      Gleam
      •0•3•0•0•Updated Jun 24, 2025Jun 24, 2025

    • ak-381

      Public
      Aiken implementation of Groth16 validator using bls12-381 curve.
      Aiken
      •3•4•0•0•Updated Jun 10, 2025Jun 10, 2025

    • modp-web

      Public
      Modulo-p web page.
      HTML
      •0•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • modp-semaphore-bls12381

      Public
      TypeScript
      •0•0•0•0•Updated Oct 21, 2024Oct 21, 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

    • 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
      •131•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•4•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

    • powersoftau

      Public
      Communal zk-SNARK MPC for Public Parameters
      Rust
      •
      Other
      •61•0•0•0•Updated Nov 23, 2023Nov 23, 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-snarkscardanozero-knowledge-proofs
      Haskell
      •
      MIT License
      •0•5•0•0•Updated Aug 20, 2023Aug 20, 2023