testing zk tooling

Go to file

Jaremy Creechley f35649b7cf update build		2024-01-10 16:46:26 +02:00
.github/workflows	Ark circom and rust ffi (#5 )	2023-04-12 16:17:00 -06:00
circuits	Ark circom and rust ffi (#5 )	2023-04-12 16:17:00 -06:00
scripts	Ark circom and rust ffi (#5 )	2023-04-12 16:17:00 -06:00
src	fix tests	2023-12-22 20:01:40 -07:00
tests	fix stuffs	2024-01-10 16:32:48 +02:00
.gitignore	update build	2024-01-10 16:42:40 +02:00
Cargo.toml	update build setup	2023-12-22 18:24:12 -07:00
README.md	update readme	2023-12-04 18:08:51 -07:00
build.nims	update build	2024-01-10 16:46:26 +02:00
codex_proofs_ffi.nim	update ffi	2023-12-22 19:30:24 -07:00
codex_storage_proofs.nim	updates	2023-12-22 19:51:25 -07:00
codex_storage_proofs.nimble	add nim ffi and genffi build task	2023-12-22 19:03:43 -07:00
config.nims	run testament	2024-01-10 12:56:32 +02:00
package-lock.json	Storage proofs (#1 )	2023-02-09 10:40:23 -06:00
package.json	Storage proofs (#1 )	2023-02-09 10:40:23 -06:00
proof_test.mpack	fix tests	2023-12-22 20:01:40 -07:00

codex-zk

WIP Zero Knowledge tooling for the Codex project

Usage

First, clone the repo and install the circom components:

git clone git@github.com:status-im/codex-storage-proofs.git
cd codex-storage-proofs
npm i

Nex, compile circuits:

./scripts/circuit-prep.sh

Running the tests:

cargo test # don't run in release more as it dissables circuit assets

Licensed and distributed under either of

at your option. These files may not be copied, modified, or distributed except according to those terms.