AVS Screening - Automata Multi-Prover

# AVS Screening - Automata Multi-Prover ## Automata Multi-Prover Contract address: 0xe5445838c475a2980e6a88054ff1514230b83aeb Website: https://www.ata.network/ Twitter: https://x.com/automatanetwork Docs: https://docs.ata.network/ Blog: https://blog.ata.network/ AVS Category: Coprocessors ETH Restaked: 1,69m ETH Total Operators: 67 Total restakers: 109,970 Competitors: Brevis, Lagrange Coprocessor, Fhenix Mainnet Date: April 25, 2024 Economic Security wanted: $6,08b Operator limits: None Points program: N/A ### AVS Description Automata Network's AVS utilizes TEE (Trusted Execution Environment) Coprocessors to enhance blockchains' security and functionality. TEE coprocessors perform secure computations within isolated enclaves, ensuring the integrity and confidentiality of the operations. The system works as a modular attestation layer, providing proof of machinehood—a decentralized network of machine attestations. This network aids rollups in achieving efficient and secure operations. Automata Network builds on EigenLayer, utilizing its restaking mechanism to enhance security through hardware root-of-trust and cryptoeconomic security. ### Unique Selling Proposition Automata Multi-Prover functions as a mission control center, coordinating multiple sets of provers at the request of various protocols. Protocols can solicit tasks, forming TEE committees incentivized by long-term rewards. Operators join these tasks, and stakers delegate their staking power to trusted operators, boosting economic security, especially in the early stages of protocol development. Key advantages and design features include: - Multi-Prover Coordination: Multiple provers collaborate to fortify protocols, reducing the risk of bugs and single points of failure common in single-prover systems. - Economic Security: Economic bonds protect against liveness risks, allowing for slashing inactive or offline vendors, while cryptoeconomic trust ensures validator activity and correctness through TEEs. - Diverse TEE Committees: Utilizing heterogeneous vendors like Intel SGX, ARM TrustZone, and Amazon Nitro increases security by raising barriers for malicious actors and adding redundancy. - Swift Lane for Attestation: A two-phase proof system allows quick initial confirmations followed by more secure final confirmations, reducing verifier costs and congestion, beneficial for rapid feedback use cases like payments. - Reproducible Builds: Ensuring no vulnerabilities or backdoors in the binary during the build process, similar to smart contract deployment practices, decentralizing trust and ensuring build consistency. ### Economic Model Cryptoeconomics of the AVS are not detailed in the documentation. Relying on the fact that Automata Network has its own native token, ATA, which is used for governance, protocol rewards, and transaction fees, it is reasonable to expect dual token mode to be implemented for the MultiProver AVS. ATA can possibly be used for payment emissions and/or for native token staking. ### Points Program N/A ### Builders Automata Network was founded by Deli Gong and Zheng Leong Chua (PhD holder from the National University of Singapore). They bring extensive experience from working in Zilliqa. ### Backers Investors: Binance Labs, KR1, GBV Capital, IOSG Ventures, Divergence Ventures, Jump Trading, Alameda Research Partnerships: Linea, Scroll, 1RPC ### Centralization Contract owner is unidentified EOA: https://etherscan.io/address/0x0f5661b579fd19c9bd14940555fed67aff3fce41 ### Security The [PeckShield audit](https://github.com/automata-network/multi-prover-avs/blob/main/audits/PeckShield-Audit-Report-Automata-MultipleProverAVS-v1.0.pdf) reveals two low-severity vulnerabilities, now resolved, and one medium-severity vulnerability associated with admin keys reportedly mitigated. ### Maturity Mainnet date: April 25, 2024 Holesky date: April 10, 2024 A spike in commits to the [multi-prover-avs repository](https://github.com/automata-network/multi-prover-avs/) is observed in March and April (pre-mainnet launch period), followed by only a single commit thereafter. ### Opt Out Opt-out from Multi-Proven AVS is doable with a [single command](https://docs.ata.network/tee-overview/multi-prover-avs-eigenlayer/operator-guide/opt-in-to-run-avs#opt-out-from-multi-prover-avs), no time limits or other restrictions are communicated. ### Regulatory Complexity Low risk of legal challenges is anticipated for the project, rooted in its infrastructural nature, which positions it to be regulatory agnostic. ### Risk Considerations - The control is centralised in EOA, allegedly controlled by non-doxxed individual(s);