BlockchainCourseNTU / hello-dappLinks
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
Sorting:
- Resources for research, development and learning for NTU CZ4153/CE4153☆12Updated last year
- Overview of the formal verification projects in the Ethereum ecosystem.☆328Updated 2 months ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆185Updated this week
- ☆20Updated 4 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆296Updated 2 months ago
- Collection of security reviews of ZK Protocols☆230Updated 6 months ago
- educational python plonk implementation, based on vitalik's py_plonk☆215Updated 10 months ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆664Updated 5 months ago
- Aggregator for amazing ZKML resources☆406Updated last year
- A month-long zkp study group, one topic at a time.☆136Updated last month
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆301Updated 2 months ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆201Updated 2 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Formally Verified Arguments of Knowledge in Lean☆73Updated this week
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆161Updated 11 months ago
- Cryptography Educational Foundations☆311Updated this week
- Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.☆151Updated last year
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆531Updated last week
- Educational Resources on FHE and OpenFHE☆21Updated last week
- cheatsheets made during NUS☆20Updated 8 months ago
- Extracting and Exploring Blockchain Data from Ethereum☆80Updated last month
- Introduction to Zero Knowledge Proof☆244Updated 6 months ago
- Circom Circuits Library for Machine Learning☆176Updated 11 months ago
- Library of basic circuits for circom☆658Updated 2 months ago
- Fifth cohort of Ethereum Protocol Fellowship☆92Updated 2 months ago
- MIT 6.875☆14Updated last year
- Big integer arithmetic and secp256k1 ECC operations in circom☆327Updated last year
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 8 months ago
- Zero-Knowledge University☆32Updated 9 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆249Updated 11 months ago