zk-toolkit

Library built from scratch to implement zk-protocols.

Goal

To build a zk library from scratch keeping the implementation as easily understadable as possible so that it can help people including myself who are studying zk technology understand lower level details of it.

What's implemented so far

Basic operations in field calculation (add, sub, mul, inv, pow, sq, negate)
Weierstrass type elliptic curve add and scalar mul operations in affine/jacobian coordinates
ECDSA public key generation, signing and signature verification
SHA256 and SHA512 hashers
Generic HMAC
Ed25519 public key generation, signing and signature verification
Bulletproofs (inner product argument range proof)
Pinnocio (equation parser, R1CS, QAP)

What's NOT implemented so far

Big number
Random number generator