GOAT BitVM2 Testnet Beta – User Guide Experience real-time proving with full visibility into the proof pipeline. 🔸Access the Proof Dashboard URL: Displays all GOAT BitVM2 transactions and their corresponding zk-proofs. 🔸How to Explore Proofs 1. Browse Peg-Out Proofs On the dashboard, you’ll see a list of peg-out transactions. Click any entry to view associated proofs. 2. View Proof Pipeline Details Click the pipeline for a transaction to inspect block proof, aggregation proof, and Groth16 proof. Each step is timestamped and visualized for transparency. 3. Check Final Groth16 Proof Click Proof to view the Groth16 SNARK used to finalize the peg-out. This proof is the final commitment used for reimbursement. 🔸Technical Notes Proofs are generated in real time using 5 parallel provers. Average times: Block proof: ~2.6s Aggregation proof: ~2.7s Groth16 proof: ~10.38s Because of pipelining, you’ll see new blocks being proven while prior proofs are still aggregating. 🔸What You’re Seeing Each peg-out proof includes: A STARK proof for the block’s EVM execution An aggregation proof combining block proofs A final Groth16 SNARK, compatible with Bitcoin script verification 🔸Why It Matters GOAT’s real-time proving infrastructure ensures withdrawals can be initiated without delay. This minimizes capital lock-up and proves that zkRollups on #Bitcoin can operate with production-grade latency.