web3ListBot
Web3ListBot

https://web3list.t.me

Public Key

npub1tgchcka8qc8q0ylh0xzarzqmdqgy766t3kwakjyjfajrhasvu3vqdfawvp

Profile Code

nprofile1qqs95vtutwnsvrs8j0mhnpw33qdksyz0dd9cm8wmfzfy7epm7cxwgkqpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dswct7x0

Publishing to

relay.damus.io

nos.lol

Author Public Key

npub1tgchcka8qc8q0ylh0xzarzqmdqgy766t3kwakjyjfajrhasvu3vqdfawvp

Show more details

Last Notes

2026-07-08 02:44:54 UTC

https://cryptography101.ca/
#pq 密码学教程

2026-07-06 00:44:26 UTC

https://pqcvisualizer.com/
#pq 签名体积

2026-07-01 10:37:36 UTC

https://blog.lopp.net/against-quantum-recovery-of-bitcoin/
支持销毁 #bitcoin 来应对量子计算

2026-06-25 15:44:53 UTC

https://zecstats.com/wall-of-shame
zcash 耻辱墙，指使用精确数额进行交易导致隐私丧失的情况

2026-06-18 15:58:13 UTC

https://www.helius.dev/blog/migrating-from-clickhouse-to-rocksdb
#solana helius 优化数据存储和检索的方法

2026-06-02 18:54:54 UTC

https://joewait.substack.com/p/fxswap-a-new-frontier-in-amm-design
FXSwap #AMM vs uniswap v3

2026-06-02 10:59:49 UTC

https://pamm.wtf/exec
Titan Builder PropAMM 实时报价显示

2026-06-01 16:47:05 UTC

https://ethresear.ch/t/building-index-tracking-assets-on-top-of-options-instead-of-debt/25036
基于 option 构造合成 #defi 衍生品

2026-05-23 08:31:03 UTC

https://evm.banteg.xyz/
#EVM 编译器性能对比

2026-05-20 00:53:19 UTC

https://rld.fi/data
#ethereum #defi 借贷面板

2026-05-19 12:11:52 UTC

https://hackmd.io/@ZamDimon/rk3uMfpjbx
#pq lattice-based signature

2026-05-15 15:04:26 UTC

https://www.anza.xyz/blog/febo-on-pinocchio-p-token-and-pushing-solanas-limits
#solana p-token 优化访谈

2026-05-15 14:30:16 UTC

https://lewis-pye.com/2026/04/30/a-quick-consensus/
一本关于共识的小册子

2026-05-06 03:23:07 UTC

https://tama.tools/
一个用于快速创建基于形式化证明 #formalVerify 工具 Verity 的框架

2026-04-25 02:20:12 UTC

https://sekuba.github.io/dvnstats/index.html
Layerzero 跨链机制与数据看板

2026-04-23 04:52:11 UTC

https://aave.wavey.info/
aave v3 风险看板

2026-04-21 01:41:19 UTC

https://docs.sourcify.dev/docs/repository/download-dataset/
sourcify 数据集 #dataAnalysis 及其体积

2026-04-07 15:14:07 UTC

https://www.nethermind.io/blog/flat-db-a-new-state-storage-architecture-in-nethermind
一种新的以太坊状态储存架构

2026-04-03 07:53:55 UTC

https://disputes.slopo.net/
OP stack #L2 挑战

2026-04-02 19:26:19 UTC

https://docs.google.com/presentation/d/1IZfVyk2QMvZ3Rf1UPZBq9bRLZk6X-M2vf1U_e_VO8b8/mobilepresent
#pq 概述与性能测试

2026-04-01 19:27:12 UTC

https://x.com/gakonst/status/2039085976929354019
开源 #EVM indexer 实现

2026-03-30 16:39:30 UTC

https://hackmd.io/@matt/aa-link-tree
与账户抽象 #AA 有关的各种提案

2026-03-30 16:37:22 UTC

https://medium.com/coinmonks/how-a-memory-corruption-bug-almost-drained-800m-from-the-polygon-bridge-6aad2cc0baa6
一个基于 memory corruption 的复杂 #security 漏洞

2026-03-28 10:58:58 UTC

https://paragraph.com/@0x3b/oracle-bugs
一些简单的有关 Oracle 的 #security 漏洞

2026-03-28 07:22:11 UTC

https://cs.bilkent.edu.tr/~talayhan/teaching/signal.html
signal 协议可视化

2026-03-25 18:13:48 UTC

https://ngrok.com/blog/quantization

2026-03-25 13:00:31 UTC

https://medium.com/silo-protocol/silo-v3-the-safest-lending-markets-in-defi-fa561ffeee36
一种 #Defi 设计旨在在流动性不足的情况，允许借贷流动性提供者(lender) 直接获得被清算仓位的担保品

2026-03-24 13:51:18 UTC

https://blog.trailofbits.com/2026/03/24/spotting-issues-in-defi-with-dimensional-analysis/
使用量纲分析确定 DeFi 内是否存在某些逻辑错误或者漏洞

2026-03-23 18:34:43 UTC

https://x.com/0xprivacypools/status/2036128249525272887
误用 bytesToNumber 而导致随机熵降低导致的 #security 漏洞

2026-03-21 11:54:23 UTC

https://x.com/gakonst/status/2035122435343933950
Passkey 的优势和缺点

2026-03-18 15:38:18 UTC

https://blog.lambdaclass.com/the-hitchhikers-guide-to-reading-lean-4-theorems/
如何阅读 Lean 4 证明

2026-03-12 18:41:46 UTC

https://tokenbrice.xyz/pharos/
稳定币信息平台

2026-03-12 14:15:38 UTC

https://x.com/z0r0zzz/status/2031755989968642511
实战测试智能合约 AI #security 审计工具

2026-03-11 16:56:05 UTC

https://x.com/akhtariev/status/2031505309387129169
#pq LWE 与 RLWE 浅析

2026-03-11 15:46:03 UTC

https://blog.trailofbits.com/2026/03/11/six-mistakes-in-erc-4337-smart-accounts/
ERC4337 的常见 #security 漏洞

2026-03-10 18:59:20 UTC

https://github.com/cartoonitunes/awesome-ethereum-proofs
以太坊考古项目

2026-03-08 12:54:17 UTC

https://drive.google.com/file/d/1EAxEh3J978AdMHBbZnt5R10D4VyZ4AMX/view
#defi 的历史演进

2026-03-05 15:39:22 UTC

https://governance.aave.com/t/security-by-design-aave-v4/24224
AAVE v4 的安全设计

2026-03-04 09:06:51 UTC

https://blog.cryptographyengineering.com/2026/03/02/anonymous-credentials-an-illustrated-primer/
匿名凭证的构造原理

2026-03-03 18:45:10 UTC

https://osec.io/blog/2026-03-03-zkvms-unfaithful-claims/
#zkVM 由于 Fiat-Shamir 产生的漏洞

2026-03-03 18:24:37 UTC

https://x.com/mmdhrumil/status/2026301400158810390
一种新的链上 LOB 设计

2026-03-01 02:45:54 UTC

https://clab.by/minimmit
共识协议浅析

2026-02-28 04:28:34 UTC

https://www.soliditytestingbook.com/
#solidity 测试手册

2026-02-27 09:45:08 UTC

https://paragraph.com/@cethology/deterministic-deployments-part-3-other-approaches
确定性地址部署系列博客

2026-02-25 09:19:49 UTC

https://evmresearch.io/index
#EVM 知识库

2026-02-23 19:51:58 UTC

https://blog.lopp.net/a-laymans-guide-to-bip-110/
#bitcoin BIP-110 争议

2026-02-23 16:19:44 UTC

https://github.com/DK27ss/VeilCash-5K-PoC
Groth16 verifier 合约攻击

2026-02-23 15:01:38 UTC

https://paragraph.com/@0x3b/9-common-vault-bugs
金库合约可能存在的安全 #security 问题

2026-02-18 22:35:38 UTC

https://openai.com/index/introducing-evmbench/
OpenAI 与 paradigm 合作推出的合约审计数据集

2026-02-18 22:19:47 UTC

First high-severity Solidity compiler bug since 2016 — identified by Hexens
Hexens has identified a HIGH severity vulnerability in the Solidity compiler itself.
Not in a specific project. In Solidity.
The issue, TSTORE Poison, can silently corrupt contract storage and introduce critical vulnerabilities without obvious indicators. This makes it particularly dangerous for developers and auditors who rely on compiler-level guarantees.
To assess the ecosystem-wide impact, we used Glider to scan integrated chains and evaluate the potential blast radius. Cross-chain impact analysis at this scale is exactly what Glider is designed for.
🔎 Technical write-up:
https://hexens.io/research/solidity-compiler-bug-tstore-poison
📢 Official announcement:
https://x.com/solidity_lang/status/2024181697168945228?s=46
If you develop or audit Solidity smart contracts, we strongly recommend reviewing the report

2026-02-18 00:15:26 UTC

https://unnamed.website/posts/evolution-lean-programmer/
Lean 形式化证明 #formalVerify 编程语言的进化

2026-02-18 00:15:26 UTC

https://sdiehl.github.io/zero-to-qed/01_introduction.html
Lean 4 教程 zero to qed

2026-02-17 00:15:44 UTC

https://blog.lambdaclass.com/amo-lean-towards-formally-verified-optimization-via-equality-saturation-in-lean-4/
形式化证明密码学优化

2026-02-15 22:54:48 UTC

https://blog.lambdaclass.com/building-a-minimalist-post-quantum-ethereum-client-ethlambdas-architecture/
构建最小的 #pq 以太坊客户端

2026-02-11 11:46:30 UTC

https://ethpandaops.io/posts/evm-gas-profiling/
EthPandaOps 新推出的数据集 #dataAnalysis 与数据分析面板

2026-02-07 18:43:55 UTC

https://www.ammchallenge.com/
AMM 挑战赛，目标是利用手续费机制平衡套利交易与非套利交易

2026-02-05 19:03:24 UTC

https://symbolic.software/blog/2026-02-05-cryspen/
形式化证明后的密码学库仍存在漏洞

2026-02-05 13:02:15 UTC

https://blog.lambdaclass.com/engineering-ethereums-speed-how-we-made-ethrex-20x-faster/
ethrex 性能优化

2026-02-04 14:43:20 UTC

https://www.potuz.net/posts/gloas-annotated-forkchoice/
#ethereum #POS 共识规范解析

2026-01-24 19:47:46 UTC

https://jbecker.dev/research/prediction-market-microstructure
Kalshi 预测市场数据分析

2026-01-22 02:01:08 UTC

https://0xparti.github.io/zkBook/introduction.html
类似 PAZK 的 #zk 书籍

2026-01-20 16:02:45 UTC

https://x.com/0xf4d3/status/2013626979191267655
第二部分主要介绍了 #solidity 内的选择器与部分代码对应的字节码实现

2026-01-18 08:11:33 UTC

https://formal.land/blog/2026/01/14/formal-verification-keccak-plonky3
使用 Rocq 证明 #zk 电路内函数正确性

2026-01-17 04:11:39 UTC

https://x.com/0xf4d3/status/2012210676454875410
使用 dedaub 逆向 #EVM 字节码

2026-01-17 04:03:25 UTC

https://muellerberndt.medium.com/finding-soundness-bugs-in-zk-circuits-ea23387a0e1e
#zk #security 安全研究和案例

2026-01-16 07:37:04 UTC

https://x.com/eulerfinance/status/2010734949955928472
#Defi 前端优化

2026-01-09 05:15:38 UTC

https://messari.io/report/understanding-zcash-a-comprehensive-overview
#zcash 概览

2026-01-07 16:43:57 UTC

https://xof.pics/
显示 mempool 角度对 #ETH 区块的分析

2026-01-07 16:42:31 UTC

https://bids.pics/
显示 #MEV 实时数据

2025-12-22 12:39:40 UTC

https://cnode.phd/demystifying_formal_zksnark_jargon/
#zk 论文阅读

2025-12-20 18:38:36 UTC

https://microstructure.exchange/

2025-12-19 18:07:20 UTC

https://x.com/0xPrince/status/2002019698213577083
为什么 #defi 固定利率借贷始终无法流行

2025-12-17 10:17:37 UTC

https://floatingpragma.io/starklab/
#STARK 交互式学习·

2025-12-16 17:21:23 UTC

https://inversive.xyz/blog/Solaris/
#Solana #fuzz 工具

2025-12-15 17:32:19 UTC

https://keymaterial.net/2025/12/13/a-very-unscientific-guide-to-the-security-of-various-pqc-algorithms/
#pq 密码学算法概述

2025-12-15 10:16:08 UTC

https://thogiti.github.io/2025/12/14/ADL-Trilemma-Dan-Critique-Tarun-paper-fixes.html
ADL 不可能三角

2025-12-09 02:51:41 UTC

https://www.paradigm.xyz/2025/12/polymarket-volume-is-being-double-counted
polymarket 错误统计问题

2025-12-09 02:38:32 UTC

https://zamdimon.github.io/files/talks/lecture-notes/lattice-cryptography.pdf
#pq Lattice-Based Cryptography 笔记

2025-11-30 06:05:56 UTC

https://www.soliditylang.org/blog/2025/11/14/core-solidity-deep-dive/
Core #solidity 语法

2025-11-29 19:37:46 UTC

https://hacken.io/insights/order-book-security-vulnerabilities/
链上订单簿可能存在的 #security 安全漏洞

2025-11-28 18:22:36 UTC

https://blog.wssh.dev/posts/balancer-v2-hack/
频道主编写的 Balancer v2 攻击 PoC 及其分析

2025-11-27 15:06:07 UTC

https://herd.eco/explorer
使用文本信息模糊搜索链上合约地址或代币

2025-11-23 15:54:03 UTC

https://bitfinding.com/blog/unblind-safe-dashboard
Safe 多签钱包的解析工具

2025-11-22 19:22:21 UTC

https://words.filippo.io/2025-state/
Go 语言密码学支持

2025-11-19 17:13:13 UTC

https://github.com/aave/aave-v4
AAVE v4 源代码

2025-11-15 13:06:03 UTC

https://xn--2-umb.com/25/merkle-multi-proof/
Merkle Proof 压缩的概率计算，可以指导 Merkle Tree Proof 优化

2025-11-13 18:18:19 UTC

https://blog.uniswap.org/continuous-clearing-auctions
#uniswap 给出的新资产发行方式

2025-11-05 11:28:41 UTC

https://www.coinspect.com/blog/balancer-rate-manipulation-exploit/
balancer 被盗 #security分析

2025-11-04 17:25:56 UTC

https://x.com/0xOptimus/status/1985735558711185418
RFQ 与 Prop AMM 对比

2025-11-04 17:19:06 UTC

https://x.com/0xOptimus/status/1981424092818399598
专有 #AMM 的机制与为什么只出现在 solana 上

2025-11-01 05:14:11 UTC

https://commonware.xyz/blogs/reshare
一种新的共识协议，文章主要讨论了阈值签名内的 reshare 问题

2025-11-01 04:37:14 UTC

https://medium.com/@laurippeltonen/lagrange-interpolation-for-iq-200-8cec1e99647d
一篇关于 #zk 中常用的 Lagrange interpolation 的介绍

2025-10-27 17:40:04 UTC

https://www.btcstudy.org/2025/10/24/the-scroll-4-intersection-attacks-on-coinjoin-anonymity/
#bitcoin CoinJoin 熵与去匿名攻击

2025-10-23 17:52:43 UTC

https://www.botanica.software/blog/cryptographic-issues-in-cloudflares-circl-fourq-implementation
Cloudflares 椭圆曲线库存在的安全问题

2025-10-23 11:49:58 UTC

https://www.soliditylang.org/blog/2025/10/21/the-road-to-core-solidity/
core #solidity 路线与未来几个小版本 solidity 的目标

2025-10-21 20:25:03 UTC

https://vitalik.eth.limo/general/2025/10/19/gkr.html
vitalik 关于 GKR 的介绍

2025-10-13 13:20:32 UTC

https://medium.com/taipei-ethereum-meetup/privacy-pool-0143430da59c
Privacy Pool #zk 原理

2025-10-10 09:33:02 UTC

https://github.com/flashbots/rblib
Flashbots 模块化 payload 构建

2025-10-07 15:37:31 UTC

https://www.adevarlabs.com/blog/preventing-second-preimage-attacks-in-merkle-trees-a-complete-guide
Merkle Tree 的 Second Preimage Attacks

2025-10-02 03:34:25 UTC

https://rrelayer.xyz/
#EVM 交易 relayer