# Tacit mixer ceremony — circuit 1373a3bc34153c291d057b44edaba11d5a4aa779d0998e0d0c0e400dfc89129d

## Phase 1 (Powers of Tau)

Polygon Hermez ceremony output `powersOfTau28_hez_final_14.ptau`:
- 71-contributor public Phase 1 ceremony (2020–2022)
- Bitcoin-block-hash beacon-finalized at the end
- Cross-check against snarkjs/README.md row 14:
  https://github.com/iden3/snarkjs#7-prepare-phase-2

File hashes (this bundle's `pot14_final.ptau`):
- sha256:  489be9e5ac65d524f7b1685baac8a183c6e77924fdb73d2b8105e335f277895d
- blake2b: eeefbcf7c3803b523c94112023c7ff89558f9b8e0cf5d6cdcba3ade60f168af4a181c9c21774b94fbae6c90411995f7d854d02ebd93fb66043dbb06f17a831c1

## Phase 2 (per-circuit MPC)

- 2227 contributions across 21931 total attestation records (see `attestations.json`)
- Beacon-finalized: Bitcoin block 948824, hash `0000000000000000000209b4bcf9a9fc01b7a0185821e6b336b1c9d4198d1486`, 10 iterations (= 1024 actual MiMC iterations)
- Cross-checked at finalize time against blockstream.info (matched mempool.space)

## Files in this bundle

| File | Purpose | sha256 |
| --- | --- | --- |
| `withdraw.r1cs`               | Circuit constraint system        | `1373a3bc34153c291d057b44edaba11d5a4aa779d0998e0d0c0e400dfc89129d` |
| `pot14_final.ptau`            | Phase 1 powers-of-tau (Hermez)   | `489be9e5ac65d524f7b1685baac8a183c6e77924fdb73d2b8105e335f277895d` |
| `withdraw_pre_beacon.zkey`    | Last contribution before beacon  | `40e6c24baa1a0e9ba62ab040365be9f434f0bee0df036b5c7f0924d30f8aa5c2` |
| `withdraw_final.zkey`         | Beacon-applied production zkey   | `b8804fdb426289620287f9a918c8bee0369971e8f3fd6062c80f60147a308a03` |
| `verification_key.json`       | Production verifying key         | `760829334a626afbc74b24cff1058bec8f5714f802f74fb7f649b6a26ce933af` |
| `attestations.json`           | Full Phase 2 contribution chain  | (count: 21931) |

## Verify locally

Confirm the beacon-applied zkey is a valid extension of the chain:

    npx snarkjs zkey verify withdraw.r1cs pot14_final.ptau withdraw_final.zkey

Should print `ZKey Ok!` on success.