Stars
Smart Contract Submodule For zkSync Era
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
A complete computer science study plan to become a software engineer.
Master programming by recreating your favorite technologies from scratch.
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.
Tutorial for writing constraints in the `arkworks` framework
Minimal Anti-Collusion Infrastructure (MACI)
A simple, modular, and fast framework for writing MEV bots in Rust.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
The best resource you will ever find for getting started with Obsidian, probably
A course on Halo2 in collaboration with Zircuit
Internet Computer blockchain source: the client/replica software run by nodes
Empowering everyone to build reliable and efficient software.
Code examples, data structures, and links from my book, Rust Atomics and Locks.
A curated list of awesome ZK resources, libraries, tools and more.
MVPWorkshop / zkVerify
Forked from zkVerify/zkVerifyzkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…
Reproduce DeFi hacked incidents using Foundry.
🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
Blazing fast toolkit for developing Starknet contracts.
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language