Cryptography
Gasper: Formal Proofs of Safety and Liveness for Ethereum 2.0's Hybrid Casper-FFG and LMD-GHOST Consensus
Gasper is a proof-of-stake consensus protocol that integrates Casper FFG for finality with LMD GHOST as the fork-choice rule, serving as the idealized model for Ethereum 2.0's beacon chain. The paper provides formal proofs establishing safety, plausible liveness, and probabilistic liveness under var…
BaseSAP Enables Modular Stealth Addresses for Enhanced Privacy on Programmable Blockchains
BaseSAP is an autonomous base-layer protocol that embeds modular stealth address functionality into the application layer of programmable blockchains like Ethereum. It supports extensible layers with diverse cryptographic algorithms atop a core implementation, enabling unlinkable transactions. Demon…
Novel Algorithms Solve Short Vector Problem in Code-Lifted Lattices with Tunable Approximation via Iteration Control
Introduces algorithms for finding short vectors in lattices from co-dimension k codes over Z_P^d by projecting initial vectors onto dual codewords, sorting projections, and applying pairwise Euclidean reduction for monotonic convergence to zero. For fixed P and d, large input sets enable minimizing …