Lists (5)
Stars
💫 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.
Blockchain educational resources curated by the OpenZeppelin team
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
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.
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…
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.