Lists (20)
AI
42 repositories
AI-Sec
8 repositories
client
1 repository
exploit
1 repository
FV
6 repositories
latex
2 repositories
learn
7 repositories
mpc
1 repository
Noir
8 repositories
Privacy on Solana
8 repositories
Rust/Solana Security
1 repository
Security
learning security17 repositories
solana
5 repositories
Solidity Security
1 repository
web3privacy
23 repositories
ZK- Security
Zero to One repos2 repositories
zkfuzz
1 repository
zkps
3 repositories
zkVM
23 repositories
zkVM-security
ctfs, puzzles, reports, post-martems1 repository
Starred repositories
Claude Code and Codex skill for finding potentially vulnerable Brotli copies and guiding updates for CVE-2026-111497.
AWS Nitro enclave attestation verifier in Solidity, used by:
quantstamp / halo2curves
Forked from privacy-ethereum/halo2curvesFor Halo2 Analyzer (SMT 2023)
A framework for assessing the security of L2s
Efficient Multi-Party computation toolkit in Rust
IPFS implementation in Go: a daemon that stores and serves content-addressed data, with a CLI, HTTP Gateway, and RPC API
Awesome Jev: a source-backed field guide to TypeSafe's System One model, with SDKs, live demos, agent tools, and independent evaluations.
DeepSeek Harness: Everything is a Plugin.
Collection of consensus algorithm implementation for research and simulations
A curated collection of high-signal, zero-shot detectors maintained by Zero Cool.
End-to-end agentic smart contract fuzzing and threat hunting
Repo for the code of live demo for USDT/USDC ETH balance PIR
Suite of tools for tokenization of assets using Daml/Canton
DAML template for CIP-056, Canton Token Standard
A library for common smart contract patterns in Sway on the FuelVM.
Verify a Solidity smart contract from EVM runtime bytecode alone