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