Shadowgraph
TrendingAbout
Sign in

o1-labs/snarkette

Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)

OCaml

53

5 commits

updated Jun 14, 2019

See the code

README

snarkette

Snarkette is a pure OCaml implementation of the Groth-Maller SNARK verifier (and all the requisite number-theoretic primitives), suitable for compiliing to Javascript using js_of_ocaml to be deployed in SNARK-enabled web-apps.

In the service of the Groth-Maller SNARK verifier, it implements the following primitives:

  • Prime order finite fields
  • Degree 2 field extensions
  • Degree 3 field extensions
  • Degree 6 field extensions
  • Weierstrass curves over arbitrary fields
  • The ate pairing

The code has not yet undergone extensive review or testing and as such should not be used in critical systems.

Contributors

imeckler

5 commits

Similar repos

o1-labs/snarkyjs

TypeScript framework for zk-SNARKs and zkApps

606

same org

o1-labs/o1js

TypeScript framework for zk-SNARKs and zkApps

606

same org

o1-labs/snarky

OCaml DSL for verifiable computation

507

same org

iden3/wasmsnark

A fast zkSnark proof generator written in native Web Assembly.

223

Trivo25/o1js-elgamal

Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in…

23

paulmillr/micro-zk-proofs

Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography

64

IrreducibleOSS/binius

A SNARK using towers of binary fields, implemented in Rust .

140

mit-plv/fiat-crypto

Cryptographic Primitive Code Generation by Fiat

839

Languages

OCaml

99.9%

o1-labs/snarkette

Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)

OCaml

53

5 commits

updated Jun 14, 2019

See the code

README

snarkette

Snarkette is a pure OCaml implementation of the Groth-Maller SNARK verifier (and all the requisite number-theoretic primitives), suitable for compiliing to Javascript using js_of_ocaml to be deployed in SNARK-enabled web-apps.

In the service of the Groth-Maller SNARK verifier, it implements the following primitives:

  • Prime order finite fields
  • Degree 2 field extensions
  • Degree 3 field extensions
  • Degree 6 field extensions
  • Weierstrass curves over arbitrary fields
  • The ate pairing

The code has not yet undergone extensive review or testing and as such should not be used in critical systems.

Similar repos

o1-labs/snarkyjs

TypeScript framework for zk-SNARKs and zkApps

606

same org

o1-labs/o1js

TypeScript framework for zk-SNARKs and zkApps

606

same org

o1-labs/snarky

OCaml DSL for verifiable computation

507

same org

iden3/wasmsnark

A fast zkSnark proof generator written in native Web Assembly.

223

Trivo25/o1js-elgamal

Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in…

23

paulmillr/micro-zk-proofs

Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography

64

IrreducibleOSS/binius

A SNARK using towers of binary fields, implemented in Rust .

140

mit-plv/fiat-crypto

Cryptographic Primitive Code Generation by Fiat

839

Contributors

imeckler

5 commits

Languages

OCaml

99.9%