In an anonymous credential scheme there are three participants: issuer, user(prover), verifier.
Issuer creates a certificate to user which contains a list of user's attributes and issuer's signature(use BBS+ signature). This protocol is formally called credential issuance protocol.
The user who is in possession of that credential can selectively disclose some parts to some verifier. This protocol is formally called credential presentation protocol.
JSnark frameworkAn arithmetic circuit is quite simple. Typically, it consists of a set of wires and gates. For example, the function f(x1, x2, x3, x4) = (x1 * x2 + 5) * ((x3 + x4) * 6) can be computed by the following circuit:
total 12
input 0 # The one-input wire.
const-mul-0 in 1 <0> out 1 <1>
input 2
| I contributed to the Semaphore Trusted Setup Multi-Party Ceremony. | |
| The following are my contribution signatures: | |
| Circuit: semaphore16 | |
| Contributor # 162 | |
| Hash: 663ab687 c0992db0 df7c7d13 d38cd768 | |
| 9b9ab5b7 85323fa2 16dfb69c a02ffea6 | |
| 999a8317 5cec70bd f7d9c10a 2ce88f63 | |
| a8cb5494 63038ad5 922d4808 5f268c19 | |
| pragma solidity >=0.4.22; | |
| contract WETH9 { | |
| string public name = "Wrapped Ether"; | |
| string public symbol = "WETH"; | |
| uint8 public decimals = 18; | |
| event Approval(address indexed src, address indexed guy, uint wad); | |
| event Transfer(address indexed src, address indexed dst, uint wad); | |
| event Deposit(address indexed dst, uint wad); |
| FROM ubuntu:22.04 | |
| ARG RUNNER_VERSION="2.320.0" | |
| ARG CHECKSUM="93ac1b7ce743ee85b5d386f5c1787385ef07b3d7c728ff66ce0d3813d5f46900" | |
| ARG DEBIAN_FRONTEND=noninteractive | |
| RUN apt update -y && apt upgrade -y && useradd -m docker | |
| RUN apt install -y --no-install-recommends \ | |
| curl jq build-essential libssl-dev libffi-dev python3 python3-venv python3-dev python3-pip \ | |
| libkrb5-3 zlib1g libicu70 |