4 papers
Compact Shielded CSV: Post-Quantum, Private, Lightweight Client-Side Validation Blockchain
Dragos I. Ilie, Uri Lee, Iain D. Stewart +3
We propose Compact Shielded CSV, a private client-side validation blockchain for peer-to-peer payments designed for the postquantum era. Upgrading existing blockchains to quantum-r…
IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Elliot Jones, William Knottenbelt
Advances in Artificial Intelligence (AI) have led AI for Theorem Proving to become a promising means of formally verifying computer systems. Whilst formal verification is tradition…
Stablecoins as Dry Powder: A Copula-Based Risk Analysis of Cryptocurrency Markets
Elliot Jones, Toshiko Matsui, William Knottenbelt
Stablecoins serve as the fundamental infrastructure for Decentralised Finance (DeFi), acting as the primary bridge between fiat currencies and the digital asset ecosystem. While pe…
Towards Automating Blockchain Consensus Verification with IsabeLLM
Elliot Jones, William Knottenbelt
Consensus protocols are crucial for a blockchain system as they are what allow agreement between the system's nodes in a potentially adversarial environment. For this reason, it is…