CEV Framework: A Central Bank Digital Currency Evaluation and Verification Framework with Focus of Consensus Algorithms and Operating Models

by   Si Yuan Jin, et al.

We propose a general framework (CEV Framework) for recommending and verifying technical solutions in central bank digital currency(CBDC) system, in which we build two sub-frameworks: an evaluation sub-framework that analyzes current problems about CBDC and provides solutions in terms of consensus algorithms and operating models, and a verification sub-framework that proves the feasibility of recommended solutions. Our framework provides a workflow and can be used as a reference to design CBDC systems based on related national economic and regulatory conditions. The working procedure to generate customized solutions is to split consensus algorithms into different components and analyze their impact on CBDC systems. Furthermore, we propose two operating models to cover operational aspects. Then we build a verification sub-framework to verify potential solutions through empirical experiments and formal logic proof. By iterating with our framework, CBDC designers can find a balanced point in designing a CBDC system. To the best of our knowledge, we are the first to propose a framework to recommend and verify CBDC related technical solutions.


page 3

page 4

page 5

page 7

page 8


Exploring the Verifiability of Code Generated by GitHub Copilot

GitHub's Copilot generates code quickly. We investigate whether it gener...

Towards automated verification of multi-party consensus protocols

Blockchain technology and related frameworks have recently received exte...

Parameterized Reasoning for Distributed Systems with Consensus

Programmers make building distributed systems tractable by using a wide ...

Characterizing consensus in the Heard-Of model

The Heard-Of model is a simple and relatively expressive model of distri...

Assessing the Maturity of Digital Twinning Solutions for Ports

Ports are striving for innovative technological solutions to cope with t...

A Korean translation of "Prospective Hybrid Consensus for Project PAI" by Mark Harvilla, Jincheng Du

PAI Coin's Proof-of-Work (PoW) consensus mechanism utilizes the double S...

POTs: Protective Optimization Technologies

In spite of their many advantages, optimization systems often neglect th...

Please sign up or login with your details

Forgot password? Click here to reset