3 papers
cs.PL2025
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
Dirk Beyer, Gidon Ernst, Martin Jonáš +1
In the past two decades, significant research and development effort went into the development of verification tools for individual languages, such asC, C++, and Java. Many of the…
cs.CR2025
ESSPI: ECDSA/Schnorr Signed Program Input for BitVMX
Sergio Demian Lerner, Martin Jonas, Ariel Futoransky
The BitVM and BitVMX protocols have long relied on inefficient one-time signature (OTS) schemes like Lamport and Winternitz for signing program inputs. These schemes exhibit signif…
cs.CR2024
BitVMX: A CPU for Universal Computation on Bitcoin
Sergio Demian Lerner, Ramon Amela, Shreemoy Mishra +2
BitVMX is a new design for a virtual CPU to optimistically execute arbitrary programs on Bitcoin based on a challenge response game introduced in BitVM. Similar to BitVM1 we create…