syang-ng

Deep-Learning-Papers-Reading-Roadmap

Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

hermes

A Gossipsub listener and tracer.

testground

🧪 A platform for testing, benchmarking, and simulating distributed and p2p systems at scale.

zksolc-bin

Releases of the Solidity compiler for ZKsync

satml-llm-ctf

Code used to run the platform for the LLM CTF colocated with SaTML 2024

powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

snphost

Administrative utility for SEV-SNP

trident

Rust-based framework to Fuzz and Integration test Solana programs to help you ship secure code.

gramine-rsademo

awesome-account-abstraction

📖 A curated list of resources dedicated to Account Abstraction (EIP-4337)

mev-boost-etl

model-transparency

Supply chain security for ML

fde

preconfirmations

🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.

Awesome-SGX-Open-Source

A curated list of open-source projects that help exploit Intel SGX technology

zeth

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

greed

A symbolic execution engine for EVM smart contract binaries.

verismo

A formally verified security module for AMD confidential VMs

sp1-project-template

Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

eth-account

Account abstraction library for web3.py

execution-apis

Collection of APIs provided by Ethereum execution layer clients

Web3-Privacy

A framework to quantify Web3-based browser fingerprinting and wallet address leakage (USENIX 2023).

CuEVM

Cuda implementation of EVM bytecode executor

ChatAFL

Large Language Model guided Protocol Fuzzing (NDSS'24)

pingora

A library for building fast, reliable and evolvable network services.

MetaGPT

🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

assertoor

Ethereum Testnet Testing Tool

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

llama3

The official Meta Llama 3 GitHub site

fastssz

Fast Ethereum2.0 SSZ encoder/decoder