In briefTritone: Pairwise Garbled Disputes for Bitcoin Groth16 Proof Checks
SummaryThis paper presents Tritone, a protocol that lets Bitcoin enforce the outcome of verifying a Groth16 proof without changing consensus rules. It extends the two-party BABE protocol to a fixed committee of N operators, and the locked funds stay secure while at least one operator is honest. The authors formally prove security against up to N-1 corrupted operators and implement the protocol in Rust. They report transaction sizes on Bitcoin mainnet and local storage measurements.
WhyGeneralizes two-party BABE to N operators with a new Lamport-adaptor binding gadget, verifying Groth16 on Bitcoin without consensus changes, with implementation and on-chain cost measurements.
In briefBeyond Copying: Lifelong Smart Contract Security Task Construction via Protocol Mutation
SummaryThis paper proposes CONSTRAINTDIAL, a framework that automatically builds smart contract security tasks by mutating protocols, to test AI agents on detecting, exploiting, and patching vulnerabilities. It changes the calls or inputs needed for an attack so the original fails while exploitability and normal functionality are preserved, and new incidents are added over time. Using 203 public cases, the authors built 3,045 task inputs. Protocol mutation lowered success with supplied public answers by 10.9 percentage points on average compared with reconstruction alone.
In briefTracing Money Laundering Across DeFi, Bridges and Mixers on Ethereum
SummaryThis paper presents FPTracer, a framework for tracing illicit assets through Ethereum services such as DeFi protocols, cross-chain bridges and mixers. It recovers intra-transaction asset-flow paths using a Context-Aware Transfer Tree, classifies transactions with cross-chain intent, and analyzes post-mixer activity using upstream laundering evidence. Evaluated on 20 real-world cases, it achieves the highest recall for known laundering addresses and destinations and finds 30 previously unreported bridge uses.
In briefA systematic survey of optimization tools for Hydra multi-party channels
SummaryThis paper is a systematization of knowledge (SoK) survey on blockchain Layer-2 scaling. It reviews existing two-party payment channel protocols and the tools built on them, explaining their core ideas. It then identifies use cases that call for new protocols for Hydra's multi-party channels, lists open problems, and suggests existing tools that could address them or serve as starting points.
In briefSILMARILS-MV: An Information-Theoretically Secure Multi-Verifier Signature Scheme for Permissioned Blockchains
SummaryThe paper proposes SILMARILS-MV, a multi-verifier signature scheme that remains secure against unbounded adversaries and needs no trusted dealer for key issuance. Signatures can be linearly aggregated, and the committee can sign threshold certificates of constant size. According to the authors' analysis and HotStuff prototype, it reduces authentication traffic and cryptographic CPU cost compared with ML-DSA-44.
Khadijeh Bagheri, Hassan Khodaiemehr, and Chen Feng
