Commit Graph

62 Commits

Author SHA1 Message Date
Dmitriy Ryajov 3057cb201b
release mode disables constraint checks 2023-03-28 09:12:40 -06:00
Dmitriy Ryajov a0e7df3f38
add back missing unsafe blocks 2023-03-28 09:08:40 -06:00
Dmitriy Ryajov 7c9db9486c
clippy & other lint stuff 2023-03-27 20:19:05 -06:00
Dmitriy Ryajov f2064b8925
debug optimizations to speed withness generation 2023-03-27 18:53:56 -06:00
Dmitriy Ryajov 389c0bb050
use rando data for chunks 2023-03-27 18:52:14 -06:00
Dmitriy Ryajov c6a09293e7
fix storer test 2023-03-27 18:38:42 -06:00
Dmitriy Ryajov 82bf73592d
minor fixes for ffi 2023-03-27 12:04:43 -06:00
Dmitriy Ryajov bed7e75f2a
fix digest 2023-03-27 12:03:58 -06:00
Dmitriy Ryajov 0b774a7af0
add ffi 2023-03-22 18:19:24 -06:00
Dmitriy Ryajov 94689e5858
flatten tests chunks by default 2023-03-22 18:19:07 -06:00
Dmitriy Ryajov 88d0a8c1a7
storageproofs.rs to storage_proofs.rs 2023-03-22 18:18:47 -06:00
Dmitriy Ryajov 2ec658e6dc
License: MIT
Signed-off-by: Dmitriy Ryajov <dryajov@gmail.com>
2023-03-21 09:46:36 -06:00
Dmitriy Ryajov 0c1b4faa58
updating readme 2023-03-20 22:12:01 -06:00
Dmitriy Ryajov f52233c731
fix ci 2023-03-20 21:59:43 -06:00
Dmitriy Ryajov 688576cd2c
remove node 2023-03-20 19:11:26 -06:00
Dmitriy Ryajov ca3c775718
update gitignore 2023-03-20 19:09:50 -06:00
Dmitriy Ryajov a54cee75d9
place built circuits in correct dirs 2023-03-20 19:07:20 -06:00
Dmitriy Ryajov fac8803bc4
remove package json 2023-03-20 19:05:54 -06:00
Dmitriy Ryajov 7264325fc5
build circuits 2023-03-20 19:04:42 -06:00
Dmitriy Ryajov 67e2579aab
update .gitignore 2023-03-20 18:58:22 -06:00
Dmitriy Ryajov 6c302f9fc6
keep the artifacts dir 2023-03-20 18:58:05 -06:00
Dmitriy Ryajov 1e3c226477
update CI to run cargo tests 2023-03-20 18:48:48 -06:00
Dmitriy Ryajov 3511e27b6e
delete js tests 2023-03-20 18:47:45 -06:00
Dmitriy Ryajov 7a297e9e8b
enable ark-serialize 2023-03-20 18:47:09 -06:00
Dmitriy Ryajov 52e5203f4f
instantiate storer 2023-03-20 18:46:44 -06:00
Dmitriy Ryajov ea4a2a082e
wip: ffi 2023-03-20 18:46:27 -06:00
Dmitriy Ryajov 1b5b249f59
fix storage proofs 2023-03-20 18:45:50 -06:00
Dmitriy Ryajov 2c45cee24a
move utils under circuit_tests 2023-03-20 18:45:19 -06:00
Dmitriy Ryajov bfcc0cbea2
add storer tests 2023-03-20 18:44:21 -06:00
Dmitriy Ryajov f1a88d79c6
rename 2023-03-18 17:59:39 -06:00
Dmitriy Ryajov 3933bbb9e5
gitignore 2023-03-18 17:59:12 -06:00
Dmitriy Ryajov 8033bfd2da
adding rust circtuit tests 2023-03-18 17:59:02 -06:00
Dmitriy Ryajov 65caca5f78
gitignore 2023-03-18 14:53:52 -06:00
Dmitriy Ryajov 1569bac9d3
update gitignode 2023-03-18 14:24:29 -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 4483440c27
adding CI build (#4)
adding initial CI build for circuits
2023-03-07 18:17:13 -06:00
Mikerah d3487bfb5f
Update README.md (#2)
* Update README.md

* fix tests running example

---------

Co-authored-by: Dmitriy Ryajov <dryajov@gmail.com>
2023-02-21 17:06:09 -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 94b9b0da6d
adding minimal README
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2023-02-08 15:46:17 +01:00
Csaba Kiraly 94f5bcbb99
adding script to prepare circuit in CLI
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2022-12-14 10:40:39 +01: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 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 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 115a9d4e41
add gitignore
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
2022-11-24 09:16:56 +01:00