Lists (1)
Stars
linear-time sumcheck protocol for multilinear polynomials and related addends
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
🦄 🦄 🦄 Core smart contracts of Uniswap v3
UI components for building fantastic desktop application by using GPUI.
A curated list of zkVM, zero-knowledge virtual machine
Cybersecurity AI (CAI), an open Bug Bounty-ready Artificial Intelligence
Seismic REVM implements the Mercury Specification of the EVM: a shielded virtual machine that powers Seismic's blockchain
Rust implementation of the Ethereum Virtual Machine.
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
A collection of resources to help you build better and more secure Solana programs. Kept up to date.
🦀 Small exercises to get you used to reading and writing Rust code!
An animation engine implemented in rust, inspired by manim and JAnim
The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.
Reproduce DeFi hacked incidents using Foundry.
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
RustRedOps is a repository for advanced Red Team techniques and offensive malware, focused on Rust 🦀
Noir is a domain specific language for zero knowledge proofs