4dc600d353
* refactor(rln): removing unused crates/dependencies * cargo fmt * refactor(rln): removed more dependencies; curve/fields as parameters * refactor(rln): use poseidon-rs hash instead of semaphore-rs poseidon * chore(rln): remove deps * refactor(rln): use exclusively arkworks Fr * refactor(rln): integrate poseidon-rs implementation to work with arkworks arithmetic * fix(rln): remove previous poseidon-rs wrapper * feat(rln): add features to select MT; remove prints if not in debug mode * fix(rln): collect test parameters in a vector * feat(RLN): add `new_with_params` (#36) Allows passing the wasm, zkey and verification key data as buffers, instead of using a path to a folder * chore(rln): simplify read wasm * fix(rln): remove unused dependencies * cargo fmt * fix(rln): update dependencies, fix commit * refactor(rln): restore ark-circom original dep Co-authored-by: Richard Ramos <info@richardramos.me>
Zerokit RLN Module
This module provides APIs to manage, compute and verify RLN zkSNARK proofs and RLN primitives.
Currently, this module comes with three pre-compiled RLN circuits having Merkle tree of height 15, 19 and 20, respectively.
Implemented tests can be executed by running within the module folder
cargo test --release
Compiling circuits
rln (https://github.com/privacy-scaling-explorations/rln) repo with Circuits is contained as a submodule.
# Update submodules
git submodule update --init --recursive
# Install rln dependencies
cd vendor/rln/ && npm install
# Build circuits
./scripts/build-circuits.sh rln
# Copy over assets
cp build/zkeyFiles/rln-final.zkey ../../resources/tree_height_15
cp build/zkeyFiles/rln.wasm ../../resources/tree_height_15
Note that the above code snippet will compile a RLN circuit with a Merkle tree of height equal 15 based on the default value set in rln/circuit/rln.circom.
To compile a RLN circuit with Merkle tree height N, it suffices to change rln/circuit/rln.circom to
pragma circom 2.0.0;
include "./rln-base.circom";
component main {public [x, epoch, rln_identifier ]} = RLN(N);
However, if N is too big, this might require a bigger Powers of Tau ceremony than the one hardcoded in ./scripts/build-circuits.sh, which is 2^14.
In such case we refer to the official Circom documentation for instructions on how to run an appropriate Powers of Tau ceremony and Phase 2 in order to compile the desired circuit.