testing zk tooling
Go to file
Jaremy Creechley 24930233f6
Feature/msgpack argument passing (#9)
* adding rmpv crate

* plumb in msgpack

* setting up mpack basics

* setting up mpack basics

* setting up mpack basics

* setting up mpack basics

* updates

* chunks

* chunks

* chunks

* add mpack proof func

* add mpack proof func - tests infra

* add mpack proof func - tests infra remove

* add mpack proof func - split mpack

* rework funcs

* rework funcs

* rework funcs

* rework funcs

* rework funcs

* rework funcs

* refactor

* refactor

* refactor

* refactor

* refactor

* refactor

* refactor

* refactor

* refactor - read orig for testing

* refactor - read orig for testing

* setting up tests

* setting up tests

* setting up tests

* setting up tests

* setting rest of data

* setting rest of data

* setting rest of data

* setting rest of data

* re-add original prove for comparison

* re-add original prove for comparison

* re-add original prove for comparison

* cleanup

* refactor

* refactor

* pass tests

* initial setup to build as a nim package

* initial setup

* update build setup

* update build setup

* update build setup

* add nim ffi and genffi build task

* add nim ffi and genffi build task

* add nim ffi and genffi build task

* update init to remove redundant pointers

* update init to remove redundant pointers

* update init to remove redundant pointers

* update init to remove redundant pointers

* save mpack

* save mpack

* update ffi

* update ffi

* add example ffi test

* add example ffi test

* updates

* fix tests

* adding git ignore

* rename

* run testament

* fix stuffs

* fix stuffs

* fix stuffs

* update build

* update build
2024-01-17 12:04:47 -08: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 Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00
tests Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00
.gitignore Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00
Cargo.toml Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00
README.md update readme 2023-12-04 18:08:51 -07:00
build.nims Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00
codex_proofs_ffi.nim Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00
codex_storage_proofs.nim Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00
codex_storage_proofs.nimble Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00
config.nims Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08: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 Feature/msgpack argument passing (#9) 2024-01-17 12:04:47 -08:00

README.md

codex-zk

License: Apache License: MIT

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

License

Licensed and distributed under either of

or

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