4 papers · 1 filter
APoW: Auditable Proof-of-Work Against Block Withholding Attacks
Sergio Demian Lerner
We introduce Auditable Proof-of-Work (APoW), a novel proof-of-work (PoW) construction inspired by Hashcash-style nonce searching, which enables the auditing of other miners' work t…
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…
Union: A Trust-minimized Bridge for Rootstock
Ramon Amela, Shreemoy Mishra, Sergio Demian Lerner +1
We present Union, a trust-minimized bridge protocol that enables secure transfer of BTC between Bitcoin and a secondary blockchain. The growing ecosystem of blockchain systems buil…
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…