AgenC Mainnet Deployment Checklist

Critical: ZK Trusted Setup (Issue #334)

Before mainnet deployment, a proper MPC trusted setup ceremony is REQUIRED.

Current State

Required Actions

1. Conduct MPC ceremony with minimum 3 independent contributors
2. Apply random beacon from public source (e.g., drand)
3. Publish contribution transcript for audit
4. Regenerate verifying_key.rs from ceremony output
5. Verify gamma_g2 != delta_g2 in new key

Verification

Run: cargo test --package agenc-coordination verify_key_validity

(Add this test to verify gamma != delta)

References

Pre-Deploy Gates (mandatory)

Readiness check

Prerequisites

Steps

1. Run:

./scripts/check-deployment-readiness.sh --network mainnet

Expected Output

All checks PASS

Troubleshooting

Test + mutation gates

Prerequisites

Steps

1. LiteSVM fast integration suite:

npm run test:fast

2. Runtime unit tests:

cd runtime && npm run test

3. Runtime mutation gates:

cd runtime && npm run mutation:ci && npm run mutation:gates

Expected Output

# all commands exit 0

Troubleshooting

Verifying key validation (mandatory)

Prerequisites

Steps

1. Run:

./scripts/validate-verifying-key.sh

Expected Output

# script exits 0 and prints PASS for production-safety checks

Troubleshooting

Build artifact verification (verifiable build)

Prerequisites

Steps

1. Build verifiable program:

anchor build --verifiable

2. Record executable hash:

solana-verify get-executable-hash target/deploy/agenc_coordination.so

Expected Output

# solana-verify prints a hash (record it in the deployment log)

Troubleshooting