|
Lean verification of EIP-7002: system-call success and FIFO requests
|
|
0
|
81
|
October 26, 2026
|
|
Ethereum's TCB, Part 1: The client
|
|
3
|
483
|
September 29, 2026
|
|
Formal Verification of Execution and Consensus Clients
|
|
12
|
687
|
September 25, 2026
|
|
Can We Verify an ERC, Not Just Its Code?
|
|
0
|
171
|
September 6, 2026
|
|
Arcanum: a privacy-first compiler layer for source code — TEE now, ZK as the long-term foundation
|
|
12
|
360
|
August 10, 2026
|
|
Coordination Collapse and the Optimality of Silence: Two Result That Break Standard BFT and Oracle Design
|
|
1
|
148
|
August 10, 2026
|
|
A Mechanized Functor Tower for Cross-Domain State Preservation
|
|
6
|
206
|
July 28, 2026
|
|
The Authority Visibility Problem in Ethereum Governance
|
|
1
|
366
|
July 14, 2026
|
|
Governance Reconstruction as a Verification Primitive
|
|
1
|
98
|
June 11, 2026
|
|
Deterministic Governance Verification for Ethereum
|
|
2
|
193
|
June 8, 2026
|
|
CuEVM - Achieving Millions of TPS on GPUs for fuzzing and beyond
|
|
1
|
286
|
May 20, 2026
|
|
Applications/Economics
|
|
1
|
192
|
March 9, 2026
|
|
Majority Fork Protection Through Distributed Validator Technology: A Novel Approach to Network Resilience
|
|
0
|
257
|
March 4, 2026
|
|
Deprecating BLS: Post-Quantum Recovery via Deposit Address
|
|
11
|
1368
|
February 19, 2026
|
|
Trustless Consensus Manipulation Through Bribing Contracts
|
|
0
|
332
|
September 23, 2025
|
|
Economic Security of a Combination of Restaking Protocols (EigenLayer in combination with Symbiotic, Jito and others)
|
|
0
|
158
|
June 2, 2025
|
|
Hedged Signatures FTW
|
|
2
|
503
|
February 16, 2025
|
|
Unbundling at the Relay Level for frontrunning protocol hacks
|
|
1
|
448
|
January 24, 2025
|
|
Dynamic Finalization Considering 51% Attacks
|
|
2
|
734
|
December 1, 2024
|
|
Attestation Verification Optimization
|
|
1
|
593
|
October 1, 2024
|
|
A Threshold Network for “Human Keys” to solve privacy and custody issues
|
|
2
|
1134
|
August 19, 2024
|
|
Suggestion for a new category: Security
|
|
1
|
2210
|
September 3, 2018
|
|
Compiler Attack / Deterministic builds
|
|
0
|
1348
|
June 26, 2020
|
|
Theory for Cryptoeconomics Mechanisms
|
|
1
|
1855
|
May 5, 2020
|
|
"Ethereum Casper FFG PoS, like all PoS consensus protocols, is vulnerable to bribery censorship attacks."
|
|
10
|
4460
|
March 11, 2020
|
|
Does ECDSA on FPGA solve the scaling problem?
|
|
3
|
2908
|
January 10, 2020
|
|
Shard security in the bribing model
|
|
6
|
4401
|
November 19, 2018
|
|
Dark crystal slides from devcon (secret sharding utility ontop of SSB)
|
|
2
|
3162
|
November 3, 2018
|
|
Go-ethereum network DoS, but main net is not vulnerable. Why?
|
|
3
|
2004
|
July 26, 2018
|
|
30% sharding attack
|
|
3
|
2630
|
March 10, 2018
|