@iden3/circuits

0.0.1 • Public • Published

circuits Tests

Circuits used by the iden3 core protocol.

Warning: This repository is in a very early stage.

The circuits of this repository are compatible with the go-iden3-core implementation

Circuits:

  • Identity Ownership: circuit used to verify that the prover is the owner of the Identity
  • Identity Ownership Genesis: wrapper on top of idOwnership.circom to check the ownership only for a Genesis Id state
  • Identity State Update: circuit used to verify validity when updating an Identity State
  • BuildClaimKeyBBJJ: circuit used build ClaimKeyBabyJubJub
  • BuildClaimBasicAboutId: circuit used build ClaimBasic about a specific Id
  • Credential: circuit used to verify a Credential. This means that the prover is the owner of the identity, and the identity is inside a claim with Subject OtherIden, and that claim is inside the MerkleTree of the Issuer identity, and the claim is not revoked.

Examples of circuits usage:

  • Identity State Update: Identity state update circuit with genesis proofs of at most 4 levels.
  • Credential Demo Wrapper: Credential demo circuit that proves ownership of a claim of type ClaimOtherIden (with some values set to 0 for simplicity).

Building and trusted setup

First install the npm dependencies:

npm ci

Then build the circuit and do the "trusted" setup:

./compile-circuit.sh CIRCUIT_PATH

Examples:

./compile-circuit.sh circuits/examples/idState.circom
./compile-circuit.sh circuits/examples/credentialDemoWrapper.circom

Readme

Keywords

none

Package Sidebar

Install

npm i @iden3/circuits

Weekly Downloads

3

Version

0.0.1

License

GPL-3.0

Unpacked Size

135 kB

Total Files

38

Last publish

Collaborators

  • obrezhniev
  • jbaylina
  • arnaucube
  • carlosmata