Dmitriy Ryajov
|
ebef300064
|
Ark circom and rust ffi (#5)
* wip rust ffi
* proper test component instantiation
* adding quick&dirty poseidon implementation
* update gitignode
* gitignore
* adding rust circuit tests
* gitignore
* rename
* add storer tests
* move utils under circuit_tests
* fix storage proofs
* wip: ffi
* instantiate storer
* enable ark-serialize
* delete js tests
* update CI to run cargo tests
* keep the artifacts dir
* update .gitignore
* build circuits
* remove package json
* place built circuits in correct dirs
* update gitignore
* remove node
* fix ci
* updating readme
* storageproofs.rs to storage_proofs.rs
* flatten tests chunks by default
* add ffi
* fix digest
* minor fixes for ffi
* fix storer test
* use random data for chunks
* debug optimizations to speed witness generation
* clippy & other lint stuff
* add back missing unsafe blocks
* release mode disables constraint checks
* fix ffi
* fix hashes serialization
* make naming more consistent
* add missing pragma
* use correct circuits
* add todo
* add clarification to readme
* silence unused warning
* include constants file into exec
* remove unused imports
|
2023-04-12 16:17:00 -06:00 |
|
Dmitriy Ryajov
|
e7b296ebbb
|
rework with poseidon (#3)
* rework with poseidon
* adding main template
* adding todo
* remove mimc
|
2023-03-07 18:27:00 -06:00 |
|
Dmitriy Ryajov
|
a0ba322cfd
|
Storage proofs (#1)
* WIP: working on storage proofs
* make it work
* don't need to pass an array
* add failing case
* move `saltSquare` to top
* updating deps
|
2023-02-09 10:40:23 -06:00 |
Csaba Kiraly
|
3875d06186
|
fixup: checked in with wrong curve
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-29 12:42:58 +01:00 |
|
Csaba Kiraly
|
43ba6e6bf3
|
fullprocess: define path at beginning
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-28 10:49:21 +01:00 |
|
Csaba Kiraly
|
92200bd506
|
add fullprocess to circuit test
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-25 00:31:51 +01:00 |
|
Csaba Kiraly
|
53392c8722
|
add first merkletree test with Poseidon hash
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-24 09:20:54 +01:00 |
|
Csaba Kiraly
|
26d8f78c58
|
initial commit of tests
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-17 13:51:13 +01:00 |