@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
https://github.com/pcaversaccio/safe-tx-hashes-util
一个用于识别 safe 多签钱包签名交易的工具
一个用于识别 safe 多签钱包签名交易的工具
GitHub
GitHub - pcaversaccio/safe-tx-hashes-util: This Bash script calculates the Safe transaction hashes by retrieving transaction details…
This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st...
https://zkintro.com/articles/understanding-math-behind-zkps
#zk 的数学原理
#zk 的数学原理
zkintro
Understanding the Math Behind ZKPs
In this article we'll explain the math behind ZKPs. Accessible to a smart high school student, or a rusty STEM graduate. Develop intuition for how things work under the hood, and build a foundational framework for the key concepts involved. Accompanied by…
https://eperez.blog/formal-verification-from-programs-to-formulas
介绍 #formalVerify 的底层原理
介绍 #formalVerify 的底层原理
Research by Ezequiel
Formal Verification: From Programs to Formulas
We'll explore Formal Verification by learning how to transform a program into logical formulas we can then solve with Z3 to create proofs about it.
