Opportunity Overview
The aim of this research is to develop a framework that can be used to model and verify
blockchain consensus protocols. This framework would be formalised as a calculus in a
theorem prover. To achieve the aim of this project, we break it down into the following
objectives:
1. Develop a Language for the specification of a blockchain network and its consensus
protocol.
2. Using the language, develop a calculus to verify such protocols and implement it in
the chosen theorem prover.
3. Using the calculus, prove general properties of a blockchain network and consensus
protocols to complete the framework.
4. Instantiate the framework for a specific blockchain or consensus protocol.
Blockchain and verification
blockchain consensus protocols. This framework would be formalised as a calculus in a
theorem prover. To achieve the aim of this project, we break it down into the following
objectives:
1. Develop a Language for the specification of a blockchain network and its consensus
protocol.
2. Using the language, develop a calculus to verify such protocols and implement it in
the chosen theorem prover.
3. Using the calculus, prove general properties of a blockchain network and consensus
protocols to complete the framework.
4. Instantiate the framework for a specific blockchain or consensus protocol.
Blockchain and verification
Your competitors are watching the same crowded contracts everyone else is. Track live opportunities like this one worldwide, set deadline alerts, and win where they aren’t. Free for 14 days, no card.
Start FreeSolicitation Details
| Issuing agency | EPSRC |
|---|---|
| Country | United Kingdom |
| Category | Research Development |
| Published | September 30, 2024 |
| Procurement stage | Active solicitation |
| Closed | March 30, 2028 |
| Status | Closed — no longer accepting responses |
| Official source | View original notice |
| Last verified | August 10, 2026 |
Source: UK Research and Innovation (UKRI) — Open Government Licence v3.0.
Browse Similar Open Opportunities in United Kingdom
Using Programming by Example to facilitate online, continual, evolution of Domain Specific Languages
See every United Kingdom Research Development opportunity your competition is missing. Free for 14 days.
Get real-time alerts, competitive intelligence, and deadline tracking for this and every market worldwide.
Start Free Trial — No Card RequiredFree 14-day trial · no card required
See who is already competing here →Get a free United Kingdom Research Development intelligence report in your inbox
A personalized report on United Kingdom Research Development opportunities, emailed in 5-10 minutes. One per month, no account needed.