# transact.circom phase-2 ceremony

Circuit `dapp/circuits/evm-pool/transact.circom`, circuit hash (r1cs SHA-256) `b0a246d1790151c722e42ccfa89450cb96c7f5a9f4b70a2162b7d9fc79b6ddb3`.
Phase 1: Hermez `powersOfTau28_hez_final_16.ptau`, BLAKE2b `6a6277a2f74e1073601b4f9fed6e1e55226917efb0f0db8a07d98ab01df1ccf43eb0e8c3159432acd4960e2f29fe84a4198501fa54c8dad9e43297453efec125`.
Phase 2: 176 contributions, sealed by Bitcoin block 968840 (`000000000000000000019b1eec61f35a8da876de173e61f8a32109986182c033`), 2^10 iterations.

| File | SHA-256 |
|---|---|
| `transact.r1cs` | `b0a246d1790151c722e42ccfa89450cb96c7f5a9f4b70a2162b7d9fc79b6ddb3` |
| `transact.wasm` | `02dd5e84970e5bc629a7a3cd4d7eae5fc9ca05579fa22c9b39b5ea70c8d8a6c1` |
| `transact_pre_beacon.zkey` | `bd481580c1f1be9073fe811d5367e335a5883801bf4f0d0d7dfce3b851b58c24` |
| `transact_final.zkey` | `40758061a0786fb0bdc5e5dec4c354bbf85fc106f7412716e25e781af4e79c4b` |
| `transact_vk.json` | `f3e36ac06ad59428003b90abd80b807180badeb06c3960c50b060ebc59b626b3` |
| `TransactVerifier.sol` | `78d6a432bf95502b0c3f1ffba041970014d054b998b48ebdeb02dc757cf0c0cb` |

vk_hash (dapp/evm-pool-zk-prover.js `vkHash`): `43d11e6e1607e1ea7f3980c9bca91beed95e2e80d173d0873189e99d402e5757`. Contribution hashes: `transcript.json`.

Verify:

```sh
npx snarkjs zkey verify transact.r1cs powersOfTau28_hez_final_16.ptau transact_final.zkey
npx snarkjs zkey export verificationkey transact_final.zkey vk.json && diff <(jq -S . vk.json) <(jq -S . transact_vk.json)
```