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…

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

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

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

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

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

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

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

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

Sublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT and aggregate-only Fiat–Shamir. Supports eval/coeff bases, d...

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc. - GitHub - riscv/learn: Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

P-token is a new drop-in replacement for the SPL Token program that delivers an impressive 95%+ reduction in compute unit consumption.

A practical deep dive into game theory, correlation, and mechanism design for LayerZero (split), CCIP (quorums), and Across (optimistic)Most bridges don’t fa...

EDB: The Ethereum Project Debugger. Contribute to edb-rs/edb development by creating an account on GitHub.

This is the story of how Payy transformed their ZK ecosystem from one bottlenecked by a single developer to a system their entire team can modify and maintain.

Building a Solana ELF from scratch. Contribute to bidhan-a/solana-elf-from-scratch development by creating an account on GitHub.