History

Oskar Thoren c718101ff1 import util for fr/bigint		2022-03-15 17:51:13 +08:00
..
resources	Add rln r1cs wasm files	2022-03-11 17:55:55 +08:00
src	import util for fr/bigint	2022-03-15 17:51:13 +08:00
Cargo.toml	import util for fr/bigint	2022-03-15 17:51:13 +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