0.0.1 • Published 1 year ago

noir-ziden v0.0.1

Weekly downloads
-
License
-
Repository
-
Last release
1 year ago

Noir-Ziden

This is the proof-of-concept project of Ziden protocol with circuits written in Noir

In this first version, we have completed the Noir circuits, test scripts as well as the TS scripts that serve the protocol's logic as specified in the Protocol-specs

Components

1. Merkle Tree & Indexed Merkle Tree

They are core data structure of the protocol, enabling succinct membership and non-membership verification, currently supporting:

  • Membership check
  • Non-membership check
  • Single insertion

See circuit

Upcoming features:

  • Variable arity
  • Batch insertion

2. Digital Signature

Digital signatures are used in the protocol as a principal authorization mechanism, in this version, we support 2 algorithms:

  • EdDSA
  • ECDSA

3. Protocol circuits

Run our code

Prerequisite

Installation

  • Install dependencies:
npm i
  • Compile Noir circuits:
./compile.sh

Test

  • Test claim features
npm run test-claim
  • Test indexed merkle tree features
npm run test-indexed-merkle-tree
  • Test state features
npm run test-state
  • Test claim presentation process
npm run test-claim-query

Future work

  • Solidity smart contracts for proof verification and identity state management

  • User interface for holders

  • Server for issuers

  • Server and smart contracts for verfiers