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…

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

Reconstructing EVM Bytecode: Part 2

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 1

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

The Architecture That Fixed Euler’s Frontend Performance

Block explorer focused on exclusive orderflow analytics for Ethereum

Demystifying some formal ZK proof jargon

Why fixed-rate lending never took off in crypto

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…

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 analyzing Polymarket’s market structure, event data, and smart contracts, we discovered that most Polymarket analyses and dashboards have been mistakenly double-counting volume.

Posted by Solidity Team on November 14, 2025