Modulo-P

Modulo-P's repositories

Bringing zk-snarks to Cardano

Language:HaskellMIT300

Language:HaskellGPL-2.0100

Language:TypeScript100

Aiken implementation of the Groth16 verifier contract using BN128 curve.

000

Aiken implementation of Groth16 validator using bls12-381 curve.

Language:JavaScript000

Pairing implementation for curves BN128 and BLS12-381

Language:HaskellNOASSERTION000

Basic implementation of Miller's algorithm

Language:HaskellGPL-2.0000

Plutus Groth validator library

Language:HaskellMIT000

Language:JavaScript000

On-chain code of the zk-mastermind demo

Language:HaskellGPL-3.0000

Language:NixMIT000

Language:TypeScript000