Dmitriy Ryajov
|
52e5203f4f
|
instantiate storer
|
2023-03-20 18:46:44 -06:00 |
|
Dmitriy Ryajov
|
8033bfd2da
|
adding rust circtuit tests
|
2023-03-18 17:59:02 -06:00 |
|
Dmitriy Ryajov
|
c389d6d1e9
|
adding quick&dirty poseidon implementation
|
2023-03-18 14:17:06 -06:00 |
|
Dmitriy Ryajov
|
3896fddaa2
|
proper test component instantiation
|
2023-03-16 14:14:15 -06:00 |
|
Dmitriy Ryajov
|
8560db1ee5
|
wip rust ffi
|
2023-03-16 14:14:09 -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
|
3761dde176
|
use 2.1.0 circom syntax
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-29 14:55:31 +01:00 |
|
Csaba Kiraly
|
055bc98f09
|
circuit contract: simplify main for first test
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-24 09:17:18 +01:00 |
|
Csaba Kiraly
|
f515e0d73d
|
storage contract: remove some old syntax
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-24 09:14:49 +01:00 |
|
Csaba Kiraly
|
8c6eb95378
|
fix public inputs
the root hash should also be a public input
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-22 14:34:26 +01:00 |
|
Csaba Kiraly
|
4d14db8ddc
|
speed up c++ witness calculation using 2.0.8 parallel tag
See https://docs.circom.io/circom-language/templates-and-components/#components
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-17 14:37:02 +01:00 |
|
Csaba Kiraly
|
a54c97aa6a
|
just comment and test
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-17 14:28:37 +01:00 |
|
Csaba Kiraly
|
6735dc4bc4
|
use circom 2.1.0 anonymous components
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-17 14:28:16 +01:00 |
|
Csaba Kiraly
|
1955c11d69
|
we are using 2.1.0 syntax
we use <== on arrays, which was introduced in 2.1.0
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-17 14:24:14 +01:00 |
|
Csaba Kiraly
|
69fa933f10
|
factorize CheckInclusions loop
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-17 14:23:31 +01:00 |
|
Csaba Kiraly
|
d2a72613b0
|
cleanup
|
2022-11-17 14:00:16 +01:00 |
|
Csaba Kiraly
|
56ca654ab9
|
use block indices directly to calculate treePathIndices
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-17 13:59:58 +01:00 |
|
Csaba Kiraly
|
24540dbcbd
|
initial commit of circuits
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
|
2022-11-17 13:49:58 +01:00 |