vacp2p
/
gnark-rln
mirror of https://github.com/vacp2p/gnark-rln.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
12 Commits 3 Branches 0 Tags 913 KiB
Go 100%
Go to file
rymnc 8375f36066
chore: add makefile 		2024-03-14 14:51:21 +05:30
rln chore: add makefile 2024-03-14 14:51:21 +05:30
Makefile chore: add makefile 2024-03-14 14:51:21 +05:30
README.md chore: add makefile 2024-03-14 14:51:21 +05:30
go.mod rename to gnark-rln 2024-03-13 14:55:56 +05:30
go.sum feat: init 2024-03-13 14:01:15 +05:30
main.go fix: cleanup 2024-03-14 11:14:16 +05:30

README.md

gnark-rln

gnark implementation of rln-v2. super hacky and unclean.

Need to get test vectors for other backends, but bn254 works with the kats from zerokit

Poseidon implementation taken from here

Merkle tree Inclusion proof taken from here

Usage

make run

Test

make test

Output

15:00:24 INF compiling circuit
15:00:24 INF parsed circuit inputs nbPublic=5 nbSecret=43
15:00:24 INF building constraint builder nbConstraints=15971
15:00:24 DBG constraint system solver done nbConstraints=15971 took=12.184334
15:00:24 DBG prover done backend=groth16 curve=bn254 nbConstraints=15971 took=66.380416
15:00:24 DBG verifier done backend=groth16 curve=bn254 took=1.793958