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

• Claim

• Identity State

• Claim Presentation

Run our code

Prerequisite

• Node version >= 16
• Nargo installed: See installation guide

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