20ff3e34d5
Without this the build fails for me:
```
error: couldn't read src/../Readme.md: No such file or directory (os error 2)
--> src/lib.rs:1:10
|
1 | #![doc = include_str!("../Readme.md")]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
```
|
||
|---|---|---|
| semaphore@5186a940ff | ||
| src | ||
| .gitignore | ||
| .gitmodules | ||
| Cargo.toml | ||
| README.md | ||
| criterion.rs | ||
| cspell.json | ||
| mit-license.md | ||
| rustfmt.toml | ||
README.md
🦀 semaphore-rs
Rust support library for using semaphore. It's mostly a Rust rewrite of zk-kit, but just focuses on semaphore (for now) and still covers a much smaller scope. It's using ark-circom under the hood for generating the groth16 proofs.
Usage
Add this line to your cargo.toml:
semaphore = { git = "https://github.com/worldcoin/semaphore-rs" }
Building semaphore circuits
- Check out submodule (if not done before already):
git submodule update --init --recursive - Install semaphore dependencies
cd semaphore && npm install - Compile circuits
npm exec ts-node ./scripts/compile-circuits.ts - You'll find the
zkeyandwasmfile insemaphore/build/snark
Example
Example as in src/lib.rs, run with cargo test.
use semaphore::{identity::Identity, hash::Hash, poseidon_tree::PoseidonTree,
protocol::* };
use num_bigint::BigInt;
// generate identity
let id = Identity::new(b"secret");
// generate merkle tree
const LEAF: Hash = Hash::from_bytes_be([0u8; 32]);
let mut tree = PoseidonTree::new(21, LEAF);
tree.set(0, id.commitment().into());
let merkle_proof = tree.proof(0).expect("proof should exist");
let root = tree.root();
// change signal and external_nullifier here
let signal = b"xxx";
let external_nullifier = b"appId";
let external_nullifier_hash = hash_external_nullifier(external_nullifier);
let nullifier_hash = generate_nullifier_hash(&id, external_nullifier_hash);
let proof = generate_proof(&id, &merkle_proof, external_nullifier, signal).unwrap();
let success = verify_proof(root.into(), nullifier_hash, signal, external_nullifier, &proof).unwrap();
assert!(success);