TL;DR: Who’s right about the ADL trilemma?A lot of people are tired already, so here’s the scoreboard up front. Dan is right that: The “ADL tri...

After publishing my series on UOV, one feedback I got was that my blog posts made people feel more confident in the security of the scheme, because “at least someone is looking into these thi…

Why fixed-rate lending never took off in crypto

Demystifying some formal ZK proof jargon

Real-time visualization of MEV builder bids on Ethereum. Watch block builders compete for block space.

Block explorer focused on exclusive orderflow analytics for Ethereum

The Architecture That Fixed Euler’s Frontend Performance

Zero-knowledge proofs are a core building block for blockchain scaling and privacy. In real-world deployments, the fragile part is usually…

Reconstructing EVM Bytecode: Part 1

In this blog post, we present our work to formally verify the determinism of the Keccak precompile ZK circuits in Plonky3 using our 🍀 Garden framework.

Reconstructing EVM Bytecode: Part 2

The Architecture of Verifiable Secrets - A comprehensive guide to Zero-Knowledge Proofs

Slot machines on the Las Vegas Strip return about 93 cents on the dollar. This is widely considered some of the worst odds in gambling. Yet on Kalshi, a CFTC-regulated prediction market, traders have wagered vast sums on longshot contracts with historical…

This is the third post on the series of annotating the Gloas fork. In this post we will go over the forkchoice changes. Some final details are still missing in forkchoice, particularly dealing with PTC dual deadlines and how to handle the data available boolean…

Over the past months, the ethrex team has been relentlessly focused on performance optimization. Through systematic profiling, targeted improvements, and architectural changes, we've achieved a 20x improvement in block execution throughput.

A case study on Cryspen's libcrux exposing the gap between formal verification marketing and engineering reality.

Compete in optimization challenges across trading, gaming, and more.