![go logo](https://raw.githubusercontent.com/github/explore/ac0b33cc8936c152bc0dacf91436f8099a5413c9/topics/go/go.png)
Block or Report
Block or report HOLLYwyh
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
Zero Knowledge Proof for RSA
zkSNARK implementation in JavaScript & WASM
Roadmap of learning blockchain technology and business knowledge summarized by ZJUBCA(浙大区块链协会总结的区块链知识学习路线)
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
Manage and switch between Solidity compiler versions
GameStream client for PCs (Windows, Mac, Linux, and Steam Link)
The "Yellow Paper": Ethereum's formal specification
An online playground for zero knowledge circuits
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
The efficient SMT-based context-bounded model checker (ESBMC)
A system-level, binary package and environment manager running on all major operating systems and platforms.
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
Smart Contract Weakness Classification and Test Cases
OpenZeppelin Contracts is a library for secure smart contract development.
程序员延寿指南 | A programmer's guide to live longer
Solidity, the Smart Contract Programming Language
An Analysis Tool for Smart Contracts