Zero Knowledge Proof for RSA

zkSNARK implementation in JavaScript & WASM

Roadmap of learning blockchain technology and business knowledge summarized by ZJUBCA（浙大区块链协会总结的区块链知识学习路线）

Mamba SSM architecture

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)

The Z3 Theorem Prover

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.

KLEE Symbolic Execution Engine

Smart Contract Weakness Classification and Test Cases

OpenZeppelin Contracts is a library for secure smart contract development.

The experimental result of PoS4SMPC

程序员延寿指南 | A programmer's guide to live longer

Static Analyzer for Solidity and Vyper

Learn and share papers about Block Chain

Solidity, the Smart Contract Programming Language

An Analysis Tool for Smart Contracts

The Python programming language