trailofbits / necessist

Related projects: ⓘ

• trailofbits / test-fuzz
  To make fuzzing Rust easy
  ☆156Updated last week
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆71Updated last year
• trailofbits / cargo-unmaintained
  Find unmaintained packages in Rust projects
  ☆63Updated this week
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆69Updated this week
• recmo / uint
  Rust Uint crate using const-generics
  ☆170Updated this week
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆75Updated 2 years ago
• hknio / wasmcov
  Automated coverage analysis of WASM executables on embedded and other constrained environments
  ☆24Updated last month
• trailofbits / siderophile
  Find the ideal fuzz targets in a Rust codebase
  ☆201Updated 3 months ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆83Updated 8 months ago
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆101Updated 2 weeks ago
• fe-lang / sonatina
  ☆36Updated this week
• sigp / discv5
  Rust implementation of Discovery v5
  ☆160Updated last week
• Zellic / move-prover-examples
  A gentle, example-based guide to getting started with the Move prover.
  ☆37Updated last year
• nlordell / ethnum-rs
  256-bit unsigned integer implementation.
  ☆53Updated 7 months ago
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆86Updated last month
• chainbound / msg-rs
  Messaging library for distributed systems built in Rust
  ☆57Updated 3 weeks ago
• crytic / attacknet
  Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
  ☆54Updated 2 months ago
• infosecual / nosy
  An automated fuzz harness generator for Go projects
  ☆11Updated 9 months ago
• sigp / enr
  Ethereum Node Record
  ☆60Updated this week
• VulnPlanet / l3x
  AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
  ☆60Updated 3 months ago
• StefanosChaliasos / Awesome-ZKP-Security
  A curated list of awesome security resources for ZK.
  ☆58Updated last month
• ethereum / utp
  uTorrent transport protocol
  ☆27Updated last week
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆89Updated last month
• axic / solc-rust
  Rust bindings for the Solidity compiler.
  ☆27Updated 4 years ago
• otter-sec / sol-ctf-framework
  Framework for Solana CTF challenges
  ☆54Updated 2 years ago
• zink-lang / zink
  Rustic programming language that targets the Ethereum Virtual Machine
  ☆114Updated this week
• paradigmxyz / op-rs
  ☆36Updated this week
• Veridise / Vanguard
  ☆40Updated this week
• ralexstokes / ethereum-consensus
  ☆137Updated last month
• paradigmxyz / jitevm
  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…
  ☆142Updated 3 months ago