Practical security checklist and auditing guide for engineers reviewing SP1/RISC-V guest programs (also useful for Risc0). Covers input...

V12 finds critical bugs consistently and automatically. We'll be releasing it for free.

概述
一年前，GCC 基金会使用 Kiln 服务商进行了 128 ETH 质押，但最近 Kiln 服务商出现了可能的安全问题，为了保持用户资金安全，Kiln 选择提取了所有质押者的资金。本文主要介绍以下内容:

Morpho is an open network that connects lenders and borrowers to the best possible opportunities worldwide.

Learn how Ethereum's Execution Layer Specification (EELS) works. Deep dive into EVM messages, transactions, block execution, and state transitions.

A roundup of updates from PSE teams covering our three new focus areas of private writes, private proving, and private reads.

Deep dive into ZK constraint systems: Halo2's PLONKish circuits, Zirgen's STARK compiler, and Plonky3's direct AIR authoring. Complete with Fibonacci examples.

rrelayer is a lighting-fast multi chain indexing solution written in Rust

A second preimage attack in a Merkle tree occurs when an attacker proves that non-existent data exists by presenting an internal node hash as if it were a leaf. Merkle trees are widely used in DeFi for compact, gas-efficient membership proofs such as token…

Modular SDK for building payload builders. Contribute to flashbots/rblib development by creating an account on GitHub.

隱私池（Privacy Pool） 其實也就是改良龍捲風現金，並在背後加上一個人工維護的名單。提款時得先證明自己在允許名單中。人們可以去設計自己的名單，看想要合哪一國的規

Posted by Solidity Team on October 21, 2025

2 min read

比特币思想的中文集结地

Remember those kids’ drawings where you need to connect the dots to form an image? After all these years, you can finally cheat!

Many consensus protocols, from Tendermint and HotStuff to our own Minimmit, are defined under a permissioned model where the validator set is fixed and known ahead of time. Safely transitioning from one committee to the next, where validators can be added…

From Solana to the EVM: A New Path for Proprietary AMMs

Prop AMMs vs. RFQs: The Importance of Composability