Web3ReadList
@Wongssh
web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
15:36 · Nov 29, 2024 · Fri
https://dacian.me/find-highs-before-external-auditors-using-certora-formal-verification
使用 certora 进行
#fuzz
测试与
#formalVerify
证明
in your storage
Find Highs Before External Auditors Using Certora Formal Verification
At DeFi Security Summit 2024 I presented a workshop on how smart contract developers can use invariant fuzz testing to find high severity issues prior to external audit, based on my real-world experience doing private audits with Cyfrin.
Since fuzz t...
fuzz
formalVerify
14:29 · Nov 28, 2024 · Thu
https://blog.wssh.trade/posts/secp256k1-ts/
频道主编写关于 secp256k1 编写的博客
Wong's Blog
椭圆曲线密码学与 Typescript 实现
概述 椭圆曲线密码学是现代区块链的核心之一,Ethereum 和 Bitcoin 等都依赖于椭圆曲线密码学(Elliptic-curve Cryptography
11:16 · Nov 28, 2024 · Thu
https://github.com/lambdaclass/ethrex
一个以简化为工程哲学的使用 Rust 编写的
#ethereum
客户端
GitHub
GitHub - lambdaclass/ethrex: ethrex: Ethereum Rust Execution L1 and L2 client.
ethrex: Ethereum Rust Execution L1 and L2 client. Contribute to lambdaclass/ethrex development by creating an account on GitHub.
ethereum
06:09 · Nov 28, 2024 · Thu
https://dacian.me/find-highs-before-external-auditors-using-invariant-fuzz-testing
invariant
#fuzz
测试寻找漏洞案例
in your storage
Find Highs Before External Auditors Using Invariant Fuzz Testing
Many high severity findings found during private audits by external auditors could have been found by the protocol developers themselves using invariant fuzz testing prior to engaging external auditors. While this doesn’t require developing an “attac...
fuzz
06:05 · Nov 28, 2024 · Thu
https://www.cyfrin.io/blog/uniswap-v4-vs-v3-architectural-changes-and-technical-innovations-with-code-examples
#uniswap
v4 相比于 v3 的架构不同
www.cyfrin.io
Full Comparision: Uniswap V4 vs V3: Changes and Innovations
Discover Uniswap V4 architectural updates and technical innovations: new hook system, singleton pattern, flash accounting, fee tier flexibility, native token support.
uniswap
22:53 · Nov 27, 2024 · Wed
https://00xsev.github.io/solidityBugsByVersion/
#solidity
编译器 bug 汇总
solidity
15:01 · Nov 26, 2024 · Tue
https://immunefi.slite.page/p/fJaOCFZcD84Asc/Ethereum-protocol-Attackathon-Resources
#ethereum
客户端源代码目录
immunefi.slite.page
Ethereum protocol Attackathon Resources
ethereum
05:08 · Nov 26, 2024 · Tue
https://www.leku.blog/fe/
#FE
密码学概念介绍
www.leku.blog
A gentle introduction to functional encryption
Functional encryption (FE) can be seen as a generalization of public key encryption (PKE) allowing for a more fine-grained control of the decryption capabilities of third parties.
In PKE the public key $p_k$ is used to hide a value $x$ inside a ciphertext…
FE
02:14 · Nov 26, 2024 · Tue
https://www.coinspect.com/wallets/
钱包
#wallet
安全测评榜单
Coinspect Security
Wallet Security Ranking | Coinspect Security
Coinspect's Wallet Ranking sets a benchmark for web3 safety.
wallet
02:08 · Nov 26, 2024 · Tue
https://blckbx.github.io/lnd-hybrid-mode/
使用 tor 网络和 VPN 隐藏
#LN
闪电网络节点的配置方法
lnd-hybrid-mode
LND: Tor & Clearnet - How to setup hybrid-mode
⚡
Guide: How to set up hybrid-mode (clearnet & Tor) on LND
LN
15:38 · Nov 24, 2024 · Sun
https://blog.lopp.net/bitcoin-node-sync-with-utxo-snapshots/
使用
#bitcoin
UTXO 快照快速同步节点
Cypherpunk Cogitations
Boost Your Bitcoin Node Sync With UTXO Snapshots
A guide for how to significantly speed up syncing a new Bitcoin Core node using the UTXO snapshot feature.
bitcoin
10:12 · Nov 24, 2024 · Sun
https://tonygiorgio.com/high-risk-low-reward/
一个开发者决定离开
#bitcoin
开发的心路历程和反思
Tony Giorgio
High Risk, Low Reward
Prolonged stress and burnout often stem from pursuing high-risk, time-consuming activities that yield low rewards. Here's how I learned to recognize when the risks outweigh the rewards, and why sometimes the best choice is walking away.
bitcoin
09:44 · Nov 24, 2024 · Sun
https://dustycloud.org/blog/how-decentralized-is-bluesky/
bluesky 去中心化讨论
18:51 · Nov 23, 2024 · Sat
https://bluematt.bitcoin.ninja/2024/11/22/ln-routing-replay/
#LN
闪电网络路径搜索数据集与路径搜索算法测试
LN
14:56 · Nov 23, 2024 · Sat
https://mixbytes.io/blog/mastering-effective-test-writing-for-web3-protocol-audits
编写
#solidity
测试的心智模型
mixbytes.io
Mastering Effective Test Writing for Web3 Protocol Audits
The article introduces a structured testing framework to help developers write more thoughtful, effective tests aimed at catching severe bugs in their protocols.
solidity
06:16 · Nov 23, 2024 · Sat
https://medium.com/@tekkac/zero-knowledge-magic-on-starknet-56ac2453234f
#circom
电路在 starknet 上进行验证
Medium
Zero-Knowledge Magic for Cheap
Prove you know without telling me the whole thing.
circom
04:24 · Nov 23, 2024 · Sat
https://blog.casa.io/bitcoin-multisig-hardware-signing-performance-2024/
#bitcoin
硬件钱包多签性能测试报告
Casa Blog
Bitcoin multisig hardware signing performance report (2024)
How do different devices stack up for signing multisig transactions? See the results of Jameson Lopp's tests.
bitcoin
04:18 · Nov 23, 2024 · Sat
https://hackmd.io/@manunalepa/peerDAS
一本还在编写的介绍
#PeerDAS
的书
HackMD
PeerDAS from scratch - HackMD
This book aims to explain, from the ground up, how peerDAS actually works.
It covers all the aspects of peerDAS (or more especially, how does peerDAS is implemented inside the Prysm Ethereum consensus clients), without going too deep into the exploration.…
PeerDAS
15:19 · Nov 22, 2024 · Fri
https://optimism.mirror.xyz/9vAhFFTaxaaA2mfzRJUrPYuP6M687ffC74v7DCpsLEw
#OP
对于解决链割裂的解决与资助方案
optimism.mirror.xyz
Building the Future of Ethereum: the Superchain and Native Interoperability
Interoperability is the key to achieving the Superchain vision, and it’s the central focus of the Optimism Collective’s roadmap for 2025.
OP
06:36 · Nov 22, 2024 · Fri
https://www.paradigm.xyz/2024/11/the-5-levels-of-secure-hardware
#TEE
分级评价
Paradigm
The 5 Levels of Secure Hardware
Programmable cryptography enables fun, safe, and intelligent experiences.
Hardware is necessary to achieve programmable cryptography at scale.
How to think about the levels of secure hardware?
Let’s get to Level 5.
TEE
Before
After
Home
Powered by
BroadcastChannel
&
Sepia