{"repo":"eryxcoop/cardano-zk-proof-of-innocence","free":true,"listed":false,"github":"https://github.com/eryxcoop/cardano-zk-proof-of-innocence","clone":"git clone https://github.com/eryxcoop/cardano-zk-proof-of-innocence.git","description":"Proof of concept demonstrating the implementation of a Proof of Innocence protocol on Cardano.","language":"TypeScript","stars":19,"topics":["cardano","cryptography","privacy","zero-knowledge"],"license":null,"category":"self-hosted-apps","readme_excerpt":"Zero-Knowledge Proof of Innocence in Cardano This repository features a proof of concept demonstrating the implementation of a Proof of Innocence protocol on Cardano. It is done in the context of this proposal from Project Catalyst's Fund 13. For details on the design and specification of the protocol, please refer to the Research and Preliminary Specification document. Setup 1. Install NPM. 1. In Debian-based systems, via sudo apt install npm . 2. In MacOS, via brew install npm . 2. Enter the implementation/ directory with cd implementation . 3. Install Aiken following the official installation instructions. - Make sure to install the version specified in the implementation/validator/aiken.toml file. - For instance, if trying to install version v1.1.11 via aikup , do it by using aikup install v1.1.11 . 4. Install Circom following the official installation instructions. 5. Install SnarkJS following the official installations instructions in their repository. Generate and verify the proof from the prover's side 1. Enter the implementation/ directory with cd implementation . 2. Run make generate and verify proof . All relevant files generated in the process will be in the implementation/setup directory. Running validator tests 1. Enter the implementation/validator directory. 2. Run aiken check . Running circuit tests The circuit tests are executed using circom tester, a JavaScript testing framework for Circom circuits. While the setup is mostly straightforward, there are a few ","default_branch":null,"files":null,"tree":[],"storefront":"/r/eryxcoop","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/eryxcoop/cardano-zk-proof-of-innocence/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}