Highlights
- Pro
Lists (16)
Sort Name ascending (A-Z)
Starred repositories
ArbiterAgent is an open source AI-powered triage system that aggregates, deduplicates, and assigns severity to vulnerability findings from multiple AI auditing agents. It ensures consistent scoring…
erigontech / zvm1
Forked from erigontech/evmoneLightweight super-fast EVM for RISCV and ZK applications
A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.
boundless-xyz / r0vm-helios
Forked from succinctlabs/sp1-heliosOn-chain Ethereum light client
anza-xyz / agave
Forked from solana-labs/solanaWeb-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
tkmct / go-ethereum
Forked from ethereum/go-ethereumGo implementation of the Ethereum protocol
NethermindEth / lean-sail
Forked from rems-project/lean-sailLean formalisation of the Sail specification
Lean formalisation of the Sail RISC-V specification
this-vishalsingh / soundcalc
Forked from ethereum/soundcalcA universal soundness calculator across hash-based zkEVMs and security regimes
hopinheimer / lighthouse
Forked from sigp/lighthouseEthereum consensus client in Rust
trailofbits / go-panikint
Forked from golang/goIt's the Go compiler, but it panics on arithmetic and truncation issues.
Veridise / Picus
Forked from chyanju/picusAutomated verification of uniqueness property for ZKP circuits
zkml-community / awesome-zkml
Forked from worldcoin/awesome-zkmlAggregator for amazing ZKML resources
soonlabs / kona-soon
Forked from op-rs/konaMonorepo for OP Stack Types, Components, and Services built in Rust.
Phala-Network / dstack
Forked from Dstack-TEE/dstackPhala's SDK to deploy any app to TEE
ProjectZKM / zkvm-benchmarks
Forked from a16z/zkvm-benchmarksBenchmarks of popular zkVMs including Jolt
SunWeb3Sec / defi-fork-bugs
Forked from yAudit/defi-fork-bugsBugs in commonly forked DeFi protocols
SunWeb3Sec / blocksec-ctfs
Forked from blockthreat/blocksec-ctfsA curated list of blockchain security Capture the Flag (CTF) competitions
Reproduce DeFi hacked incidents using Foundry.
A curated list of awesome of the Foundry development framework.
deliriusz / turbopoc
Forked from zobront/quickpoceasy POC template generation from the command line
A markdown based template for writing spearbit reports
A curated list of web3Security materials and resources For Pentesters and Bug Hunters.