💫 Toolkit to help you get started with Spec-Driven Development

A contrived program of different statics and some commands to look at the binaries

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

Collection of CTFs for Fun and Interviewing Applicants

Autonomous agents for everyone

Blockchain educational resources curated by the OpenZeppelin team

Zirgen compiler and RISC Zero circuits

On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!

A hardware acceleration library for compute intensive cryptography 🧊

Comparing ZKP performance on CUDA vs CPU

The Red Guild's devcontainer focused in web3 and security.

An interpreter for Rust's mid-level intermediate representation

A curated list of zkVM, zero-knowledge virtual machine

The Dark Arts of Advanced and Unsafe Rust Programming

The Rust Reference

The Little Book of Rust Macros (updated fork)

A free book about developing secure and robust systems software.

Macros for implementing Type-State-Pattern on your structs and methods

Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Sign…

A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.

Reactive primitives for Ethereum apps

db-migrate mysql driver

The Auditor Book

This is a Next.js, Tailwind CSS blogging starter template. Comes out of the box configured with the latest technologies to make technical writing a breeze. Easily configurable and customizable. Per…

Deprecated code423n4.com repo

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.