Protocol

Ethereum's base layer: how blocks get made, validated, and upgraded.

3589 talks

• PQC: Post-Quantum Collaboration?
• Enshrined Payment Channels: A Stateless, Post-Quantum, Confidential Rollup Design
• leanSPHINCS: Signing for the long run
• Paying Nodes That Actually Execute: Proofs a Free-Rider Cannot Copy From a Peer
• Towards Formally Verified zkEVMs
• Post-Quantum Accounts Today: Benchmarking Falcon-512 Verification Inside Starknet's `__validate__`
• Steal Now, Reveal Never: The Quiet Arrival of Quantum Attacks
• Transcending Gossipsub
• devp2p, libp2p, ethp2p - Untangling Ethereum’s Networking Stack
• LeanVM
• Prisoners of Work: Can Proof-of-Work Detect Quantum Computers?
• When the Network Shuts You Out: Measuring Resilience in Permissionless Networks
• Anonymity Is Censorship Resistance: Efficient Anonymous Broadcast Under Censorship
• FRIVail: A Data Availability Scheme based on FRI Binius
• Challenges of Quantum-Safe Privacy on Ethereum
• You Probably Don't Need Your Own Chain: Evidence From Dissolving One at Scale
• Oops, Your EOA Has Code Now: How EIP-7702 Broke Ethereum's Old Security Assumptions
• Formal Verification of Consensus Protocols in Lean
• AI security vulnerability scanning in Lighthouse
• You can't withdraw your privacy: PQ analysis of Kohaku privacy protocols
• leanSPHINCS for developers: how to build on Post-Quantum Ethereum
• evm-asm: Experiences Writing the EVM, Directly in Risc-V Assembly
• A Yellow Paper you can run: an independent executable EVM spec in Lean 4
• FOCIL in Lighthouse