This prize targets the enhancement of security measures for users within the Ethereum ecosystem, with a special emphasis on securing transactions, smart contracts, and network interactions. Participants should propose solutions that address the security of the Cairo language, strengthen the Starknet network, and leverage Ethereum's capabilities for safer user experiences. Ideal projects may involve developing wallet extensions, tools for automated transaction analysis, enhancements to the Voyager block explorer for Starknet, and advanced auditing and formal verification tooling for Cairo smart contracts. This prize also seeks innovations in slashing protection and secure staking mechanisms, particularly for institutional stakeholders. Solutions that integrate Account Abstraction and utilize Pimlico tools to secure user experiences, as well as those contributing to the analysis of RIP-7614, are highly valued.
- Cairo Language & Starknet Security: Tools and practices aimed at securing Cairo language smart contracts and the Starknet network.
- Smart Contract Auditing & Formal Verification: Development of auditing and formal verification tools tailored to Starknet and Ethereum smart contracts plus AI solutions.
- Slashing Protection & Secure Staking: Innovations that offer robust slashing protection and secure staking solutions for institutions.
- Account Abstraction & User Experience: Use of Account Abstraction and Pimlico tools for enhancing security and user interface.