zk-toolkit

Cryptographic primitive library built from scratch

Goal

To implement cryptographic primitives in the simplest form without using any optimization

What's implemented so far

Groth16 zk-SNARK
- An implementation fully based on zk-toolkit
- An implementation utilizing BLS12-381 curve of external mcl library
Pinnochio zk-SNARK (protocol 2)
Common zk-SNARK components
- Equation parser
- R1CS
- QAP
BLS12-381
- Extension fields
- Miller's algorithm
- Weil/Tate pairing
- Key generation, sign and verify
Bulletproofs
- Range proof
- Inner product argument
Ed25519
- EdDSA key generation, sign and veriry
Secp256k1
- ECDSA key generation, sign and verify
Weierstrass curve
- Affine coordinate operations
- Jacobian coordinate operations
Generic HMAC
SHA256 and SHA512 hashers
Prime finite field
- Scalar and vector operations

What's NOT implemented so far

Arbitrary-precision unsigned integer
Random number generator