-
OpenZeppelin
- http://bonis.tech
- @bonistech
-
-
audit-image-features Public
Forked from Artifex1/audit-image-featuresShell MIT License UpdatedMay 5, 2025 -
-
sp1-helios Public
Forked from across-protocol/sp1-heliosOn-chain Ethereum light client built with SP1
Rust UpdatedApr 15, 2025 -
circomlib Public
Forked from iden3/circomlibLibrary of basic circuits for circom
JavaScript UpdatedApr 3, 2025 -
vulnerable-macro Public
Understanding Rust Macros and Their Security Implications
Rust UpdatedMar 5, 2025 -
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Rust MIT License UpdatedFeb 12, 2025 -
scout-audit Public
Forked from CoinFabrik/scout-auditScout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core developme…
Rust MIT License UpdatedJan 28, 2025 -
benchmark Public
Forked from babybear-labs/benchmarkBenchmark of ZKVMs and Proving Schemes
Rust UpdatedJan 25, 2025 -
docs-mdbook Public
Forked from tlsnotary/docs-mdbookTLSNotary Documentation created with mdBook
Typst UpdatedOct 18, 2024 -
alloy-core Public
Forked from alloy-rs/coreHigh-performance, well-tested & documented core libraries for Ethereum, in Rust
Rust Apache License 2.0 UpdatedSep 9, 2024 -
ethers-rs Public
Forked from gakonst/ethers-rsComplete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Rust Apache License 2.0 UpdatedSep 4, 2024 -
evm.codes Public
Forked from duneanalytics/evm.codesSource for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
TypeScript MIT License UpdatedApr 10, 2024 -
L2-Opcodes-Validator Public
Simple program to validate Ethereum bytecode and check for illegal opcodes
-
simple_rust_evm Public
Forked from sipox11/simple_rust_evmSimple EVM implementation written in Rust
Rust UpdatedJul 23, 2023 -
-
paradigm-ctf Public
Forked from MrToph/paradigm-ctfMy solutions to https://ctf.paradigm.xyz/
Solidity UpdatedDec 20, 2022 -
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity
Python GNU Affero General Public License v3.0 UpdatedOct 1, 2022 -
capture-the-ether-assembly Public
Forked from MrToph/capture-the-etherMy solutions to https://capturetheether.com/ written in assembly
TypeScript UpdatedJan 14, 2021