SubsidieMeestersFormal Methods for Secure Blockchain-Oriented Programming
BlockSec aims to establish a comprehensive framework for enforcing game-theoretic security in DeFi applications through formal methods and interdisciplinary research.
Projectdetails
Introduction
Despite their tender age, blockchain technologies are bringing a profound impact on society and the economy. The swift technological advancements in this domain, however, are not always accompanied by solid scientific foundations, which often follow and try to catch up a posteriori with the proposed engineering solutions.
Challenges in Smart Contracts
The most prominent examples are smart contracts: the total value locked in Decentralized Finance (DeFi) nears 50B USD and, yet, vulnerabilities leading to dramatic financial loss regularly plague virtually all smart contract platforms. The fundamental issue is that security properties for DeFi applications are not yet well understood. Existing verification techniques support basic reachability properties for individual smart contracts, falling short of capturing the game-theoretic and cross-layer security requirements of the DeFi ecosystem (miner bribery, miner extractable value, etc.).
Project Overview
BlockSec will develop the first framework to enforce game-theoretic security in DeFi applications. To achieve this goal, we advocate a holistic approach based on formal methods, embracing verification, synthesis, and consensus techniques.
Research Program
We will establish an interdisciplinary research program with groundbreaking results at the intersection among:
- Cryptography
- Semantics
- Verification
- Game theory
Goals and Methodology
On a high level, we plan to:
- Formalize the game-theoretic security properties of DeFi applications.
- Develop synthesis and verification methods for smart contracts, including the first type system for game-theoretic security.
- Devise compositionality theorems whose assumptions will be captured in the smart contract typed interfaces.
- Complement the static type system with a proof-carrying code architecture in which security types are checked at run-time by miners.
This approach will go beyond what can be enforced at compilation time and enable the secure composition and refinement of smart contracts.
Financiële details & Tijdlijn
Financiële details
| Subsidiebedrag | € 2.499.983 |
| Totale projectbegroting | € 2.499.983 |
Tijdlijn
| Startdatum | 1-3-2025 |
| Einddatum | 28-2-2030 |
| Subsidiejaar | 2025 |
Partners & Locaties
Projectpartners
- TECHNISCHE UNIVERSITAET WIENpenvoerder
Land(en)
Vergelijkbare projecten binnen European Research Council
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Decentralized Cryptographic SystemsThis project aims to develop robust cryptographic systems that align theoretical models with real-world challenges, enhancing security and efficiency for decentralized infrastructures. | ERC Consolid... | € 1.998.351 | 2024 | Details |
Secrecy-Preserving Proofs with Solid FoundationsThe project aims to develop efficient, secrecy-preserving proofs that maintain rigorous cryptographic security for high-stakes and large-scale applications, addressing current and future threats. | ERC Starting... | € 1.390.625 | 2022 | Details |
Secure Execution of Smart ContractsCONSEC aims to enhance smart contract security on the blockchain through a comprehensive framework that includes a secure compiler, execution monitoring, and forensic analysis to prevent vulnerabilities and attacks. | ERC Starting... | € 1.486.313 | 2022 | Details |
Web3 Platform for Formal MathematicsDevelop a Web3 platform for formal proofs that connects mathematicians and businesses, integrates AI and blockchain, and rewards contributions to enhance collaboration and verification. | ERC Proof of... | € 150.000 | 2024 | Details |
Cryptography for Second Layer Blockchain ProtocolsCRYPTOLAYER aims to enhance blockchain scalability and functionality by developing secure off-chain protocols and services, enabling decentralized systems to rival centralized platforms. | ERC Consolid... | € 1.984.800 | 2023 | Details |
Decentralized Cryptographic Systems
This project aims to develop robust cryptographic systems that align theoretical models with real-world challenges, enhancing security and efficiency for decentralized infrastructures.
Secrecy-Preserving Proofs with Solid Foundations
The project aims to develop efficient, secrecy-preserving proofs that maintain rigorous cryptographic security for high-stakes and large-scale applications, addressing current and future threats.
Secure Execution of Smart Contracts
CONSEC aims to enhance smart contract security on the blockchain through a comprehensive framework that includes a secure compiler, execution monitoring, and forensic analysis to prevent vulnerabilities and attacks.
Web3 Platform for Formal Mathematics
Develop a Web3 platform for formal proofs that connects mathematicians and businesses, integrates AI and blockchain, and rewards contributions to enhance collaboration and verification.
Cryptography for Second Layer Blockchain Protocols
CRYPTOLAYER aims to enhance blockchain scalability and functionality by developing secure off-chain protocols and services, enabling decentralized systems to rival centralized platforms.
Vergelijkbare projecten uit andere regelingen
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Equity PlazaEquity Plaza ontwikkelt een gedecentraliseerd platform voor efficiënte en transparante digitale assettransacties via blockchain. | Mkb-innovati... | € 20.000 | 2020 | Details |
Safer and better yielding blockchain based lending products/servicesHet project onderzoekt de haalbaarheid en veiligheid van blockchainleningen op basis van Ethereum, ontwikkelt prototypes voor veiligere leningen en vergelijkt deze met traditionele financieringsproducten. | Mkb-innovati... | € 8.000 | 2020 | Details |
Equity Plaza
Equity Plaza ontwikkelt een gedecentraliseerd platform voor efficiënte en transparante digitale assettransacties via blockchain.
Safer and better yielding blockchain based lending products/services
Het project onderzoekt de haalbaarheid en veiligheid van blockchainleningen op basis van Ethereum, ontwikkelt prototypes voor veiligere leningen en vergelijkt deze met traditionele financieringsproducten.