Plonky3 is a general purpose toolkit for implementing polynomial IOP's. In addition to

This article explores ERC-7683, a standard for crosschain intents that enables seamless multichain transactions, improves liquidity flow, and fosters interoperability through shared infrastructure and industry collaboration.

Zhiyuan Sun's personal website

TL;DR AMMs can use MEV auctions to tax arbitrageurs and collect fees to mitigate MEV and LVR. We explore how cutting-edge solutions like Unichain, Semantic Layer, and Arrakis are using similar mechanisms to prevent LVR today.

DeFi Risk Specialists: Building Trust, Transparency, and Growth in Decentralized Finance

Both Morpho and Euler have been getting a lot of attention lately, and I'm genuinely impressed by both protocols. They're built by top-tier DeFi teams who've created lending protocols as completely decentralized hyperstructures.

Verifying an Implementation of a Novel Modular Inversion Algorithm using a Proof Assistant

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts. - Jon-Becker/heimdall-rs

Implementing on-chain worlds with terrain generation and hyper-optimized pixel art.

In our previous post, we delved into the Jolt zkVM and uncovered several significant bugs in the code. In this post, we will provide a detailed walkthrough on how Jolt actually works.
Jolt is a zero-knowledge Virtual Machine (zkVM) designed for the RISC-V…

Thanks to Caspar Schwarz-Schilling, Barnabé Monnot, Fahad Saleh, Thomas Thiery, and Davide Crapis for the discussions and feedback that led to this post. Thanks to the Shutter team and Luis Bezzenberger, in particular, for helpful conversations around encrypted…

This paper introduces distribution markets, a new kind of prediction market for events whose outcomes aren't just "yes" or "no" but could be any number.

Instead of betting on a particular outcome or range, traders can express how likely they think each different…

Imagine if Binance allowed smart contract developers to deploy on the Binance order books… this is what Hyperliquid enables.

This joint zkEVM Audit Education Session is co-hosted by Scroll and Polygon. The session aims to educate auditors about the zkEVM and related proof systems. More specifically, the sessions will cover the following items:

Proxies Research Compilation

DiStefano protocol enables secure data verification over TLS 1.3, allowing users to prove specific claims without revealing sensitive personal information.

Operations on elliptic curves over large prime fields can be significantly sped up via optimisations to their underlying field multiplication methods. As a result, client-side zero-knowledge (ZK)…