This repository contains zksnark constarint systems for twisted edwards curve point addition, point multiplication, eddsa signature verification and pedersen commitments. As well as python scripts for test case generation.
This is a naive implmentaion and considerable optimizations are possible.
build libsnark gadget and getting the proving key
git submodule update --init --recursive
cmake .. && make
Running the tests
Start your preferred ethereum node,
cd tests and run
python3 test* will generate all the
test variables that you can confirm in
You can run the test after building by
cd build ./src/main