1502315605
chore: Makefile and consistent usage of cargo-make ( #101 )
...
* feat: add Makefile with pre build check. add targets for build, test and clean
* feat: add workspace level build file
* chore: add skeletal build files for each crate
* chore: remove environment variable to extend workspace makefile
* chore: formatting
* chore: add release flags to all builds/tests
2023-01-26 09:19:55 +05:30
89ea87a98a
feat(rln): integrate pmtree for MT persistance ( #86 )
...
* feat(rln): integrate pmtree for MT persistance
* fix(rln): address reviewers comments
* refactor(rln): move pmtree tests under pmtree flag
2022-12-13 20:00:27 +01:00
32f3202e9d
feat(rln): add extended keygen APIs for Semaphore-compatible credentials ( #85 )
...
* refactor(rln): update APIs based on updated rln circuit design
* chore(rln): update rln vendor submodule
* fix(ci): update ci to not ignore rln resources changes
* feat(rln): add extended keygen APIs
* refactor(rln): rename id_secret/id_key to identity_secret_hash as per RFC
* fix(rln): cargo fmt
2022-12-12 00:48:22 +01:00
9e1355d36a
refactor(rln): update APIs after circuit update ( #84 )
...
* refactor(rln): update APIs based on updated rln circuit design
* chore(rln): update rln vendor submodule
* fix(ci): update ci to not ignore rln resources changes
2022-12-09 17:19:55 +01:00
60e3369621
feat(rln): add recover identity secret API ( #80 )
...
* feat(rln): add API to recover id_secret when a user is slashed
* feat(rln): add RLN API for recovering id_secret
* feat(rln): add recover_id_secret FFI API; update public API docs
* fix(rln): address reviewers' comments
* fix(rln): removing ; for clippy
2022-11-28 12:05:33 +01:00
284e51483c
feat(rln): add example usage tutorial and expand documentation for RLN (WIP) ( #74 )
...
* feat(rln): expand documentation with minimal public API usage example
* refactor(rln): ease RLN interaction with new APIs
* feat(rln): expand API docs
* fix(rln): disable doctest for rln
2022-11-25 10:54:17 +01:00
bc69e25359
feat(rln): add few serialization APIs to ease user interaction ( #75 )
...
* feat(rln): add few serialization APIs to ease user interaction
* fix(rln): cargo fmt
2022-11-21 17:55:08 +01:00
fba905f45d
fix(rln): throw if attempting to insert out of bounds ( #67 )
...
* fix(rln): throw if attempting to insert out of bounds
* chore(rln): better error msg
* fix(merkle-tree): make it mimic OptimalMerkleTree impl
* chore(rln): return result as is
2022-11-10 22:41:44 +05:30
490206aa44
feat(rln): ability to set leaves from a given index ( #63 )
...
* feat(rln): ability to set leaves from a given index
* style(rln): fmt
* fix(rln): bubble the error
* revert: "fix(rln): bubble the error"
This reverts commit 40265082ba
2022-11-03 17:49:30 +05:30
afa4a09bba
Update public.rs
...
fix(rln): remove unnecessary print
2022-10-10 08:52:36 +02:00
b77facc5e9
feat(RLN): Proof verification using provided roots ( #61 )
...
* chore(rln): better comments
* feat(rln): add verification with roots
2022-10-07 18:04:48 +02:00
1df6c53ca0
fix(rln): fix order of inputs in comments ( #59 )
2022-10-03 14:58:49 +02:00
a5aa4e8d4f
feat(rln): add seeded keygen ( #56 )
...
* refactor(rln/zerokit): move poseidon to separate utils crate
* refactor(rln/zerokit): move merkle tree to utils crate
* feat(rln): add seeded keygen
2022-09-30 17:27:55 +02:00
bbacc9dcce
Add `utils` module ( #53 )
...
* refactor(rln/zerokit): move poseidon to separate utils crate
* refactor(rln/zerokit): move merkle tree to utils crate
* refactor(rln/zerokit): move poseidon to separate utils crate
* fix(utils/rln): fmt & conflict resolve
* feat(utils): add parallel feature
2022-09-28 11:33:14 +02:00
c42fcfe644
Add GrainLFRS and PrimeField trait to Poseidon ( #51 )
...
* refactor(rln): generate poseidon constants
* refactor(rln): use traits in poseidon hash; refactor constants
* fix(rln): fix poseidon hardcoded constants test
* fix(rln): cargo fmt
2022-09-27 17:17:23 +02:00
c401c0b21d
feat: wasm ( #38 )
2022-09-20 08:22:46 -04:00
4dc600d353
refactor(RLN:) Remove dependencies and add new APIs ( #45 )
...
* 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>
2022-09-15 16:32:45 +08:00
1131b76a66
feat(RLN): integrate Poseidon Hash ( #44 )
...
* 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
2022-09-15 11:06:16 +08:00
a85454cfd7
Use arkworks arithmetic only ( #43 )
...
* 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
2022-09-14 17:48:48 +08:00
2455bea922
refactor(RLN): use iterators instead of loops ( #33 )
...
* refactor(RLN): use iterators instead of loops
* fix(rln): cargo fmt
* fix(rln): cargo clippy: avoid Vec object creation
Co-authored-by: s1fr0 <28568419+s1fr0@users.noreply.github.com>
2022-08-22 07:48:31 -04:00
824296e695
refactor(rln): use space-efficient Merkle tree implementation ( #32 )
...
* refactor(rln): replace merkle tree implementation
refactor(rln): before switch
refactor(rln): replace merkle tree implementation
fix(rln): cargo fmt, cargo clippy
cargo fmt
* chore(rln): add comments
* chore(rln): cargo fmt; cargo clippy
* refactor(rln): improve Merkle tree crate
- Integrate previous Full storage MT with Optimal (storage) MT implementation
- Align the two implementation to same API/traits implementations
- Align implementations as much as possible to same language and variable names/meaning
- Comment code
- Add descriptions to each module's crate
- address reviewer's comments
* refactor(rln): fmt, clippy, remove pub from next index, update output type for some proc
2022-08-17 11:08:14 +02:00
64f5083639
RLN: update README ( #27 )
...
* refactor(rln): update readme
* fix(rln): update README in light of https://github.com/vacp2p/zerokit/pull/30
2022-08-07 16:51:03 +02:00
3378aed857
refactor(rln): Update Merkle tree initialization method ( #30 )
...
* refactor(rln): fix merkle tree initialization
* fix(rln): cargo fmt; cargo clippy
2022-08-05 12:36:06 +02:00
c1db14dd7c
refactor(rln): improve circuit loading performances and tests fix ( #26 )
...
* refactor(rln): change witness generation logic to improve performance
* rln(refactor): - change circuit loading logic; - update tests with tree size 20
2022-07-29 13:40:16 +08:00
7fe9bb4f94
chore(rln): add "staticlib" to crate-type in Cargo.toml ( #24 )
2022-07-25 12:54:13 -04:00
42e1743198
fix(rln): Fix CI by updating ethers dependency ( #25 )
2022-07-25 14:18:50 +08:00
9cc333811b
RLN: Update API ( #22 )
...
* refactor(rln): integrate semaphore's merkle tree implementation
* feat(rln): expand API and refactor
* refactor(rln): support external resource path for circuits/keys, add circuit for tree_height = 20
* feat(rln): add cargo library directives
2022-06-29 18:56:03 +02:00
95352a4a7c
RLN: Update Rust and C API ( #20 )
...
* fix(rln): ignore dirty rln submodule
* feat(rln): add RLN witness & proof values byte serialization/deserialization
* feat(RLN): add Merkle-tree public APIs
* fix(rln): use references to avoid unnecessary clone()
* fix(rln): fix rust public API, code refactor
* fix(rln): change vector length serialization from usize to u64; add random witness generation
* feat(rln): add C APIs
* chore(rln): cargo format/clippy
* feat(rln): add C APIs tests
* chore(rln): minor code restyling
* refactor(rln): change &Vec<u8> to &[u8] (avoids new object creation)
2022-06-22 15:36:54 +01:00
8e065d4a83
fix(rln): fixed proof generation/verification and E2E tests
...
chore(rln): clippy and fmt
fix(rln): cargo fix
ci: update submodules
chore(rln): remove unnecessary test, restyle
fix(rln): switch to field type, add field arithmetic
feat(rln): public input computation from witness
fix(rln): fix semaphore crate version
2022-06-09 15:57:03 +02:00
23171bb041
docs(rln): Compiling circuits
2022-05-24 12:14:02 +01:00
af0397fa09
chore(rln): Add git submodule
2022-05-24 12:08:42 +01:00
45520e7869
refactor(rln): Upgrade semaphore-rs
2022-05-23 09:28:13 +01:00
1d8408d743
style(rln): cargo fmt
2022-05-23 08:07:32 +01:00
f2f3c820ff
test(rln): Add passing semaphore test
2022-03-18 19:17:50 +08:00
ddb3efc4a5
docs(rln): more notes and todos
2022-03-18 15:55:41 +08:00
cb38360311
docs(rln): comments and notes
2022-03-18 15:01:37 +08:00
6b3be4438e
refactor(rln): move out json spike to separate fn
2022-03-18 14:42:38 +08:00
0d087e3f0a
test(rln): end to end test wip
2022-03-18 14:32:54 +08:00
1e8e834887
feat(rln): add wip rln protocol abstraction
2022-03-18 14:23:44 +08:00
ceddd20ff1
fix(rln): correct rln wasm path
2022-03-18 14:23:23 +08:00
be1fafd27f
feat(rln): add rln zkey based circuit abstraction
...
Different from CircomConfig etc
2022-03-18 14:13:10 +08:00
c566b29c6d
docs: add notes and todos
2022-03-18 13:38:48 +08:00
6fdaf3474b
docs: add todos
2022-03-18 13:21:09 +08:00
9cb37a229d
refactor(rln): use semaphore-rs as dep
...
Instead of manually importing moving target
Assumes public functions etc are exposed and that code bases /
priorities end up developing in same way
1) Upstream changes
2) Keep fork up to date
3) Keep option open to embed it as appropriate
2022-03-18 12:57:11 +08:00
3314aba6cc
refactor(rln): Use PoseidonTree
...
Some LE stuff to sort
2022-03-17 19:15:11 +08:00
6881a078d6
feat(rln): Add IncrementalMerkleTree to RLN
...
- Sapling-based version
- Also Update ffi with get_root
2022-03-17 16:00:50 +08:00
14aaf696d3
feat(rln): import sapling-based merkle impl
2022-03-17 15:39:14 +08:00
445c12da29
feat(rln): import sapling-based poseidon
...
From RLN lib, should probably be rewritten to use arkworks
2022-03-17 15:24:36 +08:00
0774674c6e
test(rln): merkle proof
2022-03-17 13:59:00 +08:00
ccdf1e75d7
feat(rln): add debug impl for PoseidonHash
2022-03-16 16:40:25 +08:00
9b5cd131c6
test(rln): ignore expensive test by default
2022-03-16 16:05:41 +08:00
826a02f652
feat(rln): add hash, merkle and poseidon tree
...
Import from existing semaphore-rs
2022-03-16 16:05:23 +08:00
83ef5ae3c3
chore: make clippy happy
2022-03-16 14:30:51 +08:00
292ece2945
style: cargo fmt
2022-03-16 14:18:54 +08:00
6717a24c07
chore(rln): clippy ignore unsafe
...
Already wrapped in unsafe block but doesn't seem to work. Whole function
can be made unsafe but shouldn't be necessary from what I can tell.
2022-03-16 14:16:43 +08:00
abe67c8d4a
chore: use remote instead of local deps
2022-03-16 14:01:44 +08:00
0dbf417e63
fix(rln): use rln in public module
...
Previously this was using Multipler boilerplate. This also fixes tests.
2022-03-16 13:54:02 +08:00
15c331db36
Add identity poseidon test
2022-03-15 18:04:11 +08:00
c718101ff1
import util for fr/bigint
2022-03-15 17:51:13 +08:00
b2fe1bd99b
more deps
2022-03-15 17:48:42 +08:00
b2a301a967
Import identity.rs from semaphore-rs
2022-03-15 17:30:44 +08:00
751fd22951
Add deps
2022-03-15 17:29:40 +08:00
f090f199ac
Add poseidon-rs
2022-03-15 17:27:24 +08:00
b23dabab4f
Update RLN README
2022-03-11 18:09:45 +08:00
4737dd34c1
Adapt rln fields etc
...
Proof works!
2022-03-11 18:08:41 +08:00
224589a1ed
Add rln r1cs wasm files
2022-03-11 17:55:55 +08:00
2af04cc729
Init rln from poseidon-tornado
2022-03-11 17:55:46 +08:00
Rahul Ghangas
G
Aaryamann Challani
Richard Ramos
oskarth