bulletproofs-amcl/src/r1cs/gadgets at master · lovesh/bulletproofs-amcl · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
helper_constraints		helper_constraints
README.md		README.md
bound_check.rs		bound_check.rs
hamming_distance.rs		hamming_distance.rs
mimc.rs		mimc.rs
mod.rs		mod.rs
non_zero.rs		non_zero.rs
poseidon_constants.rs		poseidon_constants.rs
poseidon_hash.rs		poseidon_hash.rs
randomizer.rs		randomizer.rs
set_membership.rs		set_membership.rs
set_membership_alt.rs		set_membership_alt.rs
set_non_membership.rs		set_non_membership.rs
sparse_merkle_tree_4_ary.rs		sparse_merkle_tree_4_ary.rs
sparse_merkle_tree_8_ary.rs		sparse_merkle_tree_8_ary.rs

README.md

Each gadgets contains a method like

gen_proof.... which are used to generate the proof. It also returns the commitments that need to be given to the verifier. Apart from inputs, it optionally takes the randomness for commitments in case gadget is part of a sub-protocol.
verify_proof..... which will be used to verify the proof.