@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
https://a16zcrypto.com/posts/article/formal-verification-of-pectra-system-contracts-with-halmos/
Pectra 升级内部的智能合约使用 #halmos 进行 #formalVerify 形式化证明审计
Pectra 升级内部的智能合约使用 #halmos 进行 #formalVerify 形式化证明审计
a16z crypto
Formal verification of Pectra system contracts with Halmos
The challenges of assembly implementation in Pectra system contracts. Plus, an approach to formal verification using halmos.
https://dacian.me/find-highs-before-external-auditors-using-certora-formal-verification
使用 certora 进行 #fuzz 测试与 #formalVerify 证明
使用 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...
Since fuzz t...
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://www.auditwizard.io/blog/securing-smart-contracts-with-formal-verification-tools
介绍了常见的 #formalVerify 工具，并使用
介绍了常见的 #formalVerify 工具，并使用
kontrol 给出了示例
https://blog.trailofbits.com/2024/03/22/why-fuzzing-over-formal-verification/
#fuzz 模糊测试与 #formalVerify 形式化证明
#fuzz 模糊测试与 #formalVerify 形式化证明
Trail of Bits Blog
Why fuzzing over formal verification?
By Tarun Bansal, Gustavo Grieco, and Josselin Feist We recently introduced our new offering, invariant development as a service. A recurring question that we are asked is, “Why fuzzing instead of f…
https://vxtwitter.com/daejunpark/status/1744788041078829432
#formalVerify 工具 #halmos 使用案例
#formalVerify 工具 #halmos 使用案例
vxTwitter / fixvx - See original tweet for full quality
💖 82 🔁 18
💖 82 🔁 18
Daejun Park (@daejunpark)
My halmos usage #1
[This is the first post in my series on sharing applications of halmos.]
I enjoy reading highly gas-optimized code. There's something deeply satisfying about learning from and being inspired by the creative use or discovery of uncommon…
[This is the first post in my series on sharing applications of halmos.]
I enjoy reading highly gas-optimized code. There's something deeply satisfying about learning from and being inspired by the creative use or discovery of uncommon…
https://allthingsfuzzy.substack.com/p/an-introduction-to-formal-verification
#formalVerify 工具介绍
#formalVerify 工具介绍
Substack
An Introduction to Formal Verification Techniques and Tools
Formal verification is the systematic process of validating the correctness of a system against certain rigorous formal criteria. In this post, we analyze different techniques and tools.
https://github.com/WilfredTA/formal-methods-curriculum
关于形式化证明 #formalVerify 的课程
关于形式化证明 #formalVerify 的课程
GitHub
GitHub - WilfredTA/formal-methods-curriculum: Formal methods training program with an emphasis on software in the blockchain &…
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry - GitHub - WilfredTA/formal-methods-curriculum: Formal methods traini...
