Web3ReadList - @Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.

@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.

https://circom.erhant.me/index.html
#circom 教程

https://www.solidityvisualizer.com/
#solidity 架构可视化，需要提供 OpenAI Key

Solidity Visualizer

Solidity Visualizer - Smart Contract Diagrams in Seconds

Turn any Solidity smart contract repository into an interactive diagram for visualization.

Web3ReadList

https://dev.to/zemse/understanding-eip-7864s-unified-binary-tree-36m4 一个新的提案以优化以太坊 #dataStruct 目前的树结构

https://medium.com/taipei-ethereum-meetup/lazytower-an-o-1-replacement-for-incremental-merkle-trees-94d5a522dd89
一种新的用于替代 merkle tree 的 #dataStruct 方案

LazyTower: An O(1) Replacement for Incremental Merkle Trees

LazyTower: An O(1) Replacement for Incremental Merkle Trees

LazyTower 是一個資料結構. 它的用途和 Incremental Merkle Tree (IMT) 一樣: 讓使用者可以逐步地 append items, 並且適用於 zero-knowledge 的 proof of membership.

https://blog.lambdaclass.com/gkr-protocol-a-step-by-step-example/
#zk GKR

LambdaClass Blog

GKR protocol: a step-by-step example

GKR protocol: a step-by-step example

Introduction

An interactive proof is a protocol between two parties, a prover $\mathcal{P}$ and a verifier $\mathcal{V}$, where the prover attempts to convince the verifier of the validity of a statement. By leveraging randomness and interaction, the verifier…

https://alinush.github.io//cryptomat
密码学 #zk 概念解析博客集合

alinush.github.io

The Cryptomat - Alin Tomescu

https://github.com/paulmillr/esplr
本地自部署 #ETH 浏览器

GitHub - paulmillr/esplr: Explore Ethereum-like blockchain privately with your RPC URL

Explore Ethereum-like blockchain privately with your RPC URL - paulmillr/esplr

https://efdn.notion.site/das-wtf
PeerDAS 介绍

DAS.wtf | Notion

DAS.wtf | Notion

Data Availability Sampling (DAS) is a key primitive to scaling blob space for L2s on Ethereum. The first step is PeerDAS – scheduled to ship in the Fusaka hard fork. The focus of this site for now is on PeerDAS, but will expand over time.

05:22 · Mar 26, 2025 · Wed

https://github.com/yourbuddyconner/zkarnage
一种针对 #ETH 主网 #zk 证明的攻击

GitHub - yourbuddyconner/zkarnage: Stress Testing ZK Systems Through Maximum Pain

Stress Testing ZK Systems Through Maximum Pain. Contribute to yourbuddyconner/zkarnage development by creating an account on GitHub.

12:20 · Mar 24, 2025 · Mon

https://research.2077.xyz/erc-4337-2-years-after
#ERC4337 现状调查

19:22 · Mar 22, 2025 · Sat

https://collectiveshift.io/tools/crypto-analytics-tools/

Comprehensive List of Crypto Research & Analytics Tools

This site is goated

18:36 · Mar 22, 2025 · Sat

Web3ReadList

https://cryptocaffe.sandboxaq.com/posts/kyber-01/ 用Python从零开始实现一个 Kyber 公钥 #pq 加密

https://blog.cloudflare.com/lattice-crypto-primer/
#pq 格密码学介绍

12:59 · Mar 21, 2025 · Fri

https://hackmd.io/@colinlyguo/SyAZWMmr1x
EIP7702 权威解读，包含 Geth 实现相关代码分析

EIP-7702: A Deep Dive into Smart EOAs with Implementation Examples - HackMD

EIP-7702: A Deep Dive into Smart EOAs with Implementation Examples - HackMD

04:01 · Mar 21, 2025 · Fri

Web3ReadList

https://thogiti.github.io/2025/03/08/Uniswap-V4-Provably-Improving-Hooks-CFMM.html 从数学上证明 hook 优化了 #AMM

https://www.quantamm.fi/research
一些关于 #AMM 套利等问题的研究

09:38 · Mar 20, 2025 · Thu

Web3ReadList

https://another-infected-blog.vercel.app/blog/Exploring-AMMs #AMM 数学描述

https://thogiti.github.io/2025/03/08/Uniswap-V4-Provably-Improving-Hooks-CFMM.html
从数学上证明 hook 优化了 #AMM

thogiti.github.io

Provably Improving Hook-Enabled Forward Exchange Functions - A Rigorous Mathematical Framework for Optimal Routing in Uniswap v4…

Introduction - The Evolution of Automated Market MakersIf you’ve ever traded on Uniswap, you might think of it as a decentralized vending machine for tokens—...

16:33 · Mar 19, 2025 · Wed

Web3ReadList

https://github.com/lambdaclass/ethrex 一个以简化为工程哲学的使用 Rust 编写的 #ethereum 客户端

https://docs.signet.sh/
务实的最简 rollup 实现

Simplifying the Rollup | Signet Documentation

An introduction to Signet, init4, and the Signet ecosystem.

15:17 · Mar 19, 2025 · Wed

https://soliditylang.org/blog/2025/03/12/solidity-0.8.29-release-announcement/
#solidity 0.28.9 增加了自定义存储布局

Solidity Programming Language

Solidity 0.8.29 Release Announcement | Solidity Programming Language

Posted by Solidity Team on March 12, 2025

09:19 · Mar 19, 2025 · Wed

Web3ReadList

https://blog.zksecurity.xyz/posts/circle-starks-1/ https://blog.zksecurity.xyz/posts/circle-starks-2/ 关于 #zk #STARK 算法解析的系列文章，应该有 4 篇，目前发布了 2 篇

https://dev.risczero.com/proof-system/stark-by-hand
#zk #STARK 教程

STARK by Hand | RISC Zero Developer Docs

STARK by Hand | RISC Zero Developer Docs

When the RISC Zero zkVM executes, it generates a receipt that allows third-parties to authenticate the validity of the execution.

09:54 · Mar 18, 2025 · Tue

https://hackmd.io/@mikeneuder/eli5-ethereum-validator-exits
#ETH2 验证者退出

ELI5: Ethereum Validator Exits - HackMD

ELI5: Ethereum Validator Exits - HackMD

18:23 · Mar 17, 2025 · Mon

Web3ReadList

https://blog.nomic.foundation/how-to-write-your-own-solidity-linter-using-slang-356e7565ad1b 使用 Slang 分析 #solidity 代码

https://blog.nomic.foundation/slang-v1-a-reliable-way-to-analyze-solidity-code/
Slang v1 发布

Nomic Foundation Blog

Slang v1: A reliable way to analyze Solidity code

Slang v1: A reliable way to analyze Solidity code

We're thrilled to share the stable release of Slang v1, after years of development and community feedback. Slang’s code analysis APIs are now production-ready and fully featured.

What’s Slang?

Slang is a modular set of compiler APIs to empower the next…

04:30 · Mar 15, 2025 · Sat

https://x.com/mteamisloading/status/1900733790873587906
#EOF 讨论汇总

X (formerly Twitter)

mteam.eth 🗼 (@mteamisloading) on X

a thread of pushback on EOF, tl;dr it is
- complex
- addressing a problem being solved elsewhere (compilers)
- not even solving the problems people expect it to??

starring your favorite core devs and some surprise guests

Powered by BroadcastChannel & Sepia