Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
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…
cs.CR2026
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…