Web3ReadList - @Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.

@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.

16:56 · Feb 23, 2023 · Thu

https://medium.com/nethermind-eth/introduction-to-horus-part-1-fbc16af3ba67
#cario 智能合约 #formalVerify 形式化证明工具 #Horus 的使用说明

Introduction to Horus — Part 1

Introduction to Horus — Part 1

Horus is an open-source automated formal verification tool that helps Starknet developers detect bugs in their smart contracts

cario formalVerify Horus

Powered by BroadcastChannel & Sepia