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