@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
https://mixbytes.io/blog/modern-lending-protocols-how-its-made-the-compilation
现代 #defi 借贷协议
现代 #defi 借贷协议
mixbytes.io
Modern DeFi Lending Protocols, how it's made: the compilation
The summary article highlights new features and improvements in modern lending protocol implementations, drawing insights from previous articles.
https://mixbytes.io/blog/modern-defi-lending-protocols-how-its-made-aave-v3
#defi AAVE v3 实现分析
#defi AAVE v3 实现分析
mixbytes.io
Modern DeFi Lending Protocols, how it's made: Aave V3
The article provides an in-depth exploration of the Aave V3 protocol, detailing its implementation and technical architecture. It delves into the internal algorithms and implementation tricks, as well as the new features introduced in V3.
https://runtimeverification.com/blog/formally-verifying-loops-part-1
对于循环的形式化证明 #formalVerify 方法
对于循环的形式化证明 #formalVerify 方法
Runtimeverification
Formally Verifying Loops: Part 1
Explore the challenges of formal verification in Solidity and EVM smart contracts. Learn about the path explosion problem, bounded loop unrolling, and how tools like Certora Prover, Halmos, hevm, and Kontrol approach verifying loops in smart contracts.
https://github.com/Account-Link/teleport-gramine-rs
基于 #TEE 的 twitter 账户授权发帖
基于 #TEE 的 twitter 账户授权发帖
GitHub
GitHub - Account-Link/teleport-gramine-rs: One-time programs on X, create and share a one-time post link from your Twitter account…
One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies - Account-Link/teleport-gramine-rs
http://guiltygyoza.xyz/2024/09/PRIBLT
解决“在尽可能少的通信下找到两个集合之间的差集”的问题
解决“在尽可能少的通信下找到两个集合之间的差集”的问题
https://app.artemis.xyz/home
一个提供各种 web3 宏观数据的平台 #website ，提供比如各条链之间的资金流向和新闻关键词数据
一个提供各种 web3 宏观数据的平台 #website ，提供比如各条链之间的资金流向和新闻关键词数据
app.artemis.xyz
Artemis Terminal
Metrics that matter for digital finance. All in one place.
https://victorsintnicolaas.com/zkp-language-comparison/
#zk 语言的优点和缺点分析
#zk 语言的优点和缺点分析
Victor Sint Nicolaas' website
Which ZK proving languages are the most future proof?
Credits to 1k(x) for the header image. A big thank you to Alessandro Coglio, Eric McCarthy & Evan Schott for their comments and feedback. Over the last years, theory and tooling to generate zero-knowledge proofs have advanced massively. It is now possible…
https://www.molecule.xyz/blog/pump-science-the-tokenized-prediction-market-for-longevity-regimens
使用 pumpfun 的模式进行长寿科学研究
使用 pumpfun 的模式进行长寿科学研究
www.molecule.xyz
pump.science: The Tokenized Prediction Market for Longevity Regimens
Let's face it, death is the final boss. It's the game over screen nobody wants to see. But what if you could develop your own infinite health cheat code? What if we could keep playing the game indefinitely? Let's play on pump.science.
https://b10c.me/blog/014-mining-pool-behavior-during-forks/
#bitcoin 矿池分叉选择
#bitcoin 矿池分叉选择
0xB10C's Blog
Mining Pool Behavior during Forks
I have recently been looking at mining pool behavior during forks. Which block does a pool choose to mine on during a fork? Do they behave rationally and mine on their own block? In this post, I’ll detail the mining pool behavior during forks and give some…
