Matteo Maffei
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Prog. Lang.×1Distributed×1
Frequent co-authors
Research Timeline
2026
Ark: Offchain Transaction Batching in Bitcoin
The paper introduces Ark, a novel Bitcoin-compatible commit-chain that enables offchain transaction batching of virtual UTXOs (VTXOs) with a constant onchain footprint, solving scalability issues without requiring users to lock funds upfront.
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
The paper presents an approach for verifying stateful and unbounded cryptographic protocols using compositional type-based reasoning and trace-based reasoning.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.PLTheoreticalRecentJul 3, 2026
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
The paper presents an approach for verifying stateful and unbounded cryptographic protocols using compositional type-based reasoning and trace-based reasoning.
View →
cs.DCcs.CRRecentMay 20, 2026