akirillo

akirillo's Stars

• google/oss-fuzz

  OSS-Fuzz - continuous fuzzing for open source software.

  Language:Shell10.7k2562.4k2.3k

• paradigmxyz/reth

  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

  Language:Rust4.2k573.7k1.3k

• transmissions11/solcurity

  Opinionated security and code quality standard for Solidity smart contracts.

  2.1k404270

• ethereum/execution-specs

  Specification for the Execution Layer. Tracking network upgrades.

  Language:Python89149413249

• guidovranken/cryptofuzz

  Fuzzing cryptographic libraries. Magic bug printer go brrrr.

  Language:C++687182781

• lambdaclass/lambdaworks

  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

  Language:Rust63510239145

• 0xPARC/zk-bug-tracker

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

  62818865

• rsmpi/rsmpi

  MPI bindings for Rust

  Language:Rust505169852

• mratsim/constantine

  Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

  Language:Nim4281919348

• foundry-rs/starknet-foundry

  Blazing fast toolkit for developing Starknet contracts.

  Language:Rust333101.4k184

• lambdaclass/lambdaclass_hacking_learning_path

  LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

  274122140

• minaminao/tornado-cats

  A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)

  Language:Solidity2685117

• FuzzingLabs/thoth

  Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

  Language:Python25047221

• scipr-lab/dizk

  Java library for distributed zero knowledge proof systems

  Language:Java238321170

• renegade-fi/renegade

  On-chain dark pool. MPC for anonymous crosses at midpoint prices.

  Language:Rust2114220

• lambdaclass/starknet_in_rust

  A Rust implementation of Starknet execution logic

  Language:Rust171842953

• hoodie/awesome-rust-testing

  😎 Curated list of awesome things regarding Rust Testing

  1701034

• crytic/caracal

  Static Analyzer for Starknet smart contracts

  Language:Cairo1375147

• lambdaclass/STARK101-rs

  STARK 101 Workshop in Rust 🐺🦀

  Language:Jupyter Notebook1335117

• FuzzingLabs/cairo-fuzzer

  Cairo/Starknet smart contract fuzzer

  Language:Rust12142913

• renegade-fi/renegade-contracts

  Smart contracts for on-chain anonymous settlement.

  Language:Rust951011

• willi-kappler/node_crunch

  Allows to distribute computations across several nodes

  Language:Rust78774

• NethermindEth/horus-checker

  Horus, a formal verification tool for StarkNet smart contracts.

  Language:Haskell728157

• paradigmxyz/local_reth

  Run Reth+Prometheus+Grafana locally via docker-compose

  Language:Dockerfile65209

• paradigmxyz/sinker

  Synchronize Postgres to Elasticsearch

  Language:Python62625

• renegade-fi/ark-mpc

  A framework for SPDZ-style maliciously-secure MPC.

  Language:Rust48105

• GPTutor/gptutor-extension

  Language:TypeScript41646

• smsunarto/daedalus

  Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.

  Language:Go34101

• arielgabizon/Lectures

  Language:TeX27502

• renegade-fi/mpc-jellyfish

  A Rust Implementation of the PLONK ZKP System and Extensions

  Language:Rust4100