> ## Documentation Index
> Fetch the complete documentation index at: https://docs.kovaswap.finance/llms.txt
> Use this file to discover all available pages before exploring further.

# Contracts and verification

> Robinhood mainnet addresses, ceremony artifacts, and release checks.

## Robinhood Chain mainnet deployment

| Component        | Address                                                                                                                                  | Deployment block |
| ---------------- | ---------------------------------------------------------------------------------------------------------------------------------------- | ---------------: |
| Groth16 verifier | [`0xafCce1EfadB6Ced8dc23583380522268A4EABF8b`](https://robinhoodchain.blockscout.com/address/0xafCce1EfadB6Ced8dc23583380522268A4EABF8b) |       `31491925` |
| Verifier adapter | [`0xD54A26a22385794f39Ed4a0Da021cDC6E7Bc793f`](https://robinhoodchain.blockscout.com/address/0xD54A26a22385794f39Ed4a0Da021cDC6E7Bc793f) |       `31491972` |
| Poseidon T3      | [`0x48d4560c3e40F22D32e442fcD214CBCE03B5cC53`](https://robinhoodchain.blockscout.com/address/0x48d4560c3e40F22D32e442fcD214CBCE03B5cC53) |       `31492019` |
| Poseidon adapter | [`0xD9136FEa89cd96B85a188bCcEc690f8dcE7A1234`](https://robinhoodchain.blockscout.com/address/0xD9136FEa89cd96B85a188bCcEc690f8dcE7A1234) |       `31492067` |
| Native ETH pool  | [`0xC4EF1F1adCB2036676492E4fF41fE217D597FFbB`](https://robinhoodchain.blockscout.com/address/0xC4EF1F1adCB2036676492E4fF41fE217D597FFbB) |       `31492115` |

Owner and fee recipient: `0x321d00ce29f9C132c797F7e688c81c2555E2df22`.

## Ceremony and artifact checks

The V1 circuit contains 29,464 constraints and 14 public inputs. The production release used the published `powersOfTau28_hez_final_15.ptau`, whose BLAKE2b-512 checksum and complete contribution transcript were verified. A private Kova contribution was followed by Robinhood mainnet block `31427166` as a public beacon.

The final proving key, verification key, Solidity verifier, circuit, R1CS, WASM, and public transcript are SHA-256 pinned in the production artifact manifest. The browser refuses mainnet proving artifacts that do not match that manifest.

Before deployment, a real proof was generated with the finalized key, verified off-chain, accepted by the generated Solidity verifier, and settled through the pool on an isolated chain. The complete protocol/runtime suite passed 38 tests and the existing KovaSwap suite passed 19 tests.

## Deployment transaction cost

The five-contract deployment used `6,617,520` gas and cost `0.00019771684285 ETH` in total. The deployment began at deployer nonce `1`; the release script contains a nonce replay guard that prevents deploying the same stack again.