Aleksei Vambol e39f156fff
Replace the ark-zkey witness calculator with the one of iden3 (#273)
* Add files via upload

* Add files via upload

* Add files via upload

* Add files via upload

* Add files via upload

* Add files via upload

* Add files via upload

* Update README.md

* Update README.md

* Update README.md

* Update README.md

* Update README.md

* Update README.md

* Delete rln/resources/tree_height_20/rln.wasm

* Changes in accordance with the results of the first round of reviewing.

* Formatting

* Acknowledgements and a readme fix

* Minor change: Vec memory allocation
2024-12-25 12:38:35 +02:00
2024-12-04 21:50:52 +07:00
2024-12-04 21:50:52 +07:00
2023-02-28 16:25:18 +05:30

Zerokit

A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.

Initial scope

Focus on RLN and being able to use Circom based version through ark-circom, as opposed to the native one that currently exists in Rust.

Acknowledgements

  • Uses ark-circom, Rust wrapper around Circom.

  • Inspired by Applied ZKP group work, e.g. zk-kit.

  • RLN library written in Rust based on Bellman.

  • semaphore-rs written in Rust based on ark-circom.

  • The circom witness calculation code of the rln crate is based on circom-witnesscalc by iden3. The execution graph file used by this code has been generated by means of the same iden3 software.

Users

Zerokit is used by -

Build and Test

To install missing dependencies, run the following commands from the root folder

make installdeps

To build and test all crates, run the following commands from the root folder

make build
make test

Release assets

We use cross-rs to cross-compile and generate release assets for rln.

Description
A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
Readme
Languages
Rust 98.6%
JavaScript 1.3%
Makefile 0.1%