5 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…
Position: Quantum Program Generation Must Prioritize Validity Over Probabilistic Scaling
Junhao Song, Yu Zhou, William Knottenbelt +1
The scaling hypothesis assumes that increasing model parameters yields emergent reasoning capabilities. This position paper argues that applying this probabilistic paradigm to gene…
Data Verification is the Future of Quantum Computing Copilots
Junhao Song, Ziqian Bi, Xinliang Chia +2
Quantum program generation demands a level of precision that may not be compatible with the statistical reasoning carried out in the inference of large language models (LLMs). Hall…
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…
On the Periodic Orbits of the Dual Logarithmic Derivative Operator
Xiaohang Yu, William Knottenbelt
We study the periodic behaviour of the dual logarithmic derivative operator in a complex analytic setting. We show that $\mathcal{A…