BlockchainCourseNTU / hello-dapp
MVP (Minimal Viable Preparation) for modern dApp developers
☆15Updated last year
Alternatives and similar repositories for hello-dapp:
Users that are interested in hello-dapp are comparing it to the libraries listed below
- Resources for research, development and learning for NTU CZ4153/CE4153☆12Updated last year
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆506Updated this week
- ☆25Updated last year
- Overview of the formal verification projects in the Ethereum ecosystem.☆325Updated last week
- A curated list of academic blockchain-related papers☆123Updated 3 months ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆57Updated 2 years ago
- Code for SC6107☆17Updated last year
- Extracting and Exploring Blockchain Data from Ethereum☆67Updated last month
- A curated list of amazing Fully Homomorphic Encryption (FHE) resources created by the team at Zama.☆260Updated last week
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆103Updated 2 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆186Updated last week
- A curated list of awesome ZK resources, libraries, tools and more.☆1,475Updated 5 months ago
- ☆11Updated 2 months ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆297Updated last week
- Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither☆18Updated last year
- A Python library for parsing the Abstract Syntax Tree (AST) of compiled Solidity files.☆11Updated last year
- Prototype implementations of various Collaborative zkSNARKs.☆124Updated last year
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 6 months ago
- A month-long zkp study group, one topic at a time.☆127Updated 3 weeks ago
- ☆55Updated 2 years ago
- Smart contract front-running vulnerability benchmark☆22Updated last year
- A guild to build simple zk rollup☆54Updated 2 years ago
- ☆20Updated 5 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- ☆60Updated 2 years ago
- ☆24Updated 10 months ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆322Updated last year
- Circom Circuits Library for Machine Learning☆171Updated 9 months ago
- ☆22Updated 7 months ago
- Tutorial for STARKs with supporting code in python☆218Updated last month