Trusted setup: one contributor. Try it; do not guard value with it yet.

Read the setup record

Private Eligibility

On the list. Which entry stays yours.

A gate admin publishes a list of member leaves. You prove your leaf is one of them without revealing which, and the gate records that your chosen address is eligible. Your address, the gate and a per-gate nullifier are public; your position in the list is not.

1 · Your member identity

stays in this browser

An identity is one secret number. Its leaf (a Poseidon hash of the secret) is what you share: a gate admin adds it to an allowlist, an attester binds a commitment to it. The secret never leaves this page. Anyone holding the secret can claim in your place, so back it up and keep it private. The same identity works on both the Eligibility and the Disclosure pages.

2 · Prove you are on the list

gate live

A proof hides which member you are (or your exact value). It does not hide your address, the gate, the time, or the nullifier or commitment it uses: those are public on Elysium.

Create or import an identity above first.

  1. Rebuild the member tree and match the root
  2. Build the proof in this browser
  3. Verify it in this browser
  4. Verify it on Elysium's precompiles
  5. Ask the gate whether it would record it
  6. Send the claim (optional)

3 · Run a gate (admin)

on chain

The admin decides who is on the list: members trust the admin for that. Every leaf you add is public; the proof only hides which leaf a claim used. Sealing the list means no one can be added later. Leaves come from members (step 1), never their secrets.