History

Oskar Thoren f2f3c820ff test(rln): Add passing semaphore test		2022-03-18 19:17:50 +08:00
..
resources	feat(rln): add rln zkey based circuit abstraction	2022-03-18 14:13:10 +08:00
src	test(rln): Add passing semaphore test	2022-03-18 19:17:50 +08:00
Cargo.toml	feat(rln): add wip rln protocol abstraction	2022-03-18 14:23:44 +08:00
README.md	Update RLN README	2022-03-11 18:09:45 +08:00

README.md

RLN wrapper

cargo run should produce a verified proof:

Proof: Proof { a: GroupAffine { x: Fp256(BigInteger256([8483808811394525823, 2911623124993487936, 965710634470565595, 371243954766865014])), y: Fp256(BigInteger256([705817196479998808, 17904136250720012753, 4190084222192764444, 7218570197435348])), infinity: false }, b: GroupAffine { x: QuadExtField { c0: Fp256(BigInteger256([5458988222411652552, 17182308780189183250, 14791331698105531271, 721079937701984589])), c1: Fp256(BigInteger256([7448529038603485276, 13923597709209930, 3309560575781216904, 880478657337970720])) }, y: QuadExtField { c0: Fp256(BigInteger256([15528177727577722078, 5558129266105870459, 2736358139645020298, 1495034096047214880])), c1: Fp256(BigInteger256([17682510405762186416, 10008291815399475705, 8906017124801037485, 3406569241364819001])) }, infinity: false }, c: GroupAffine { x: Fp256(BigInteger256([15442965511095371475, 16233723700799040245, 2033693936526019359, 1940755394980495809])), y: Fp256(BigInteger256([9607769396956991597, 16531786910336973521, 16312419257791650835, 838503992599180484])), infinity: false } }

Example witness data

See: b6a872f716