Skip to content
View this-vishalsingh's full-sized avatar
:atom:
Securing onchain
:atom:
Securing onchain

Highlights

  • Pro

Block or report this-vishalsingh

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

39 results for forked starred repositories
Clear filter

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…

1 2 Updated Apr 29, 2026
Rust 2 Updated May 10, 2024

Lightweight super-fast EVM for RISCV and ZK applications

C++ 2 Updated Mar 26, 2026

A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.

Python 47 11 Updated Apr 26, 2026

On-chain Ethereum light client

Solidity 4 4 Updated Jun 9, 2025

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Rust 1,762 1,003 Updated Apr 30, 2026

Go implementation of the Ethereum protocol

Go 2 Updated Mar 9, 2026

Lean formalisation of the Sail specification

Lean 1 Updated Feb 11, 2026

Lean formalisation of the Sail RISC-V specification

Lean 2 Updated Feb 11, 2026
Python 1 Updated Dec 10, 2025

A universal soundness calculator across hash-based zkEVMs and security regimes

Python 1 Updated Dec 19, 2025

Ethereum consensus client in Rust

Rust 1 Updated Apr 27, 2026

It's the Go compiler, but it panics on arithmetic and truncation issues.

Go 43 3 Updated Apr 29, 2026

Automated verification of uniqueness property for ZKP circuits

Circom 93 13 Updated Mar 13, 2024

Aggregator for amazing ZKML resources

413 31 Updated Apr 29, 2024

Monorepo for OP Stack Types, Components, and Services built in Rust.

Rust 11 2 Updated Jan 28, 2026

Phala's SDK to deploy any app to TEE

Rust 24 5 Updated Dec 18, 2025

Benchmarks of popular zkVMs including Jolt

Rust 4 6 Updated Jul 25, 2025

Bugs in commonly forked DeFi protocols

6 1 Updated Jun 19, 2023

A curated list of blockchain security Capture the Flag (CTF) competitions

93 15 Updated Sep 1, 2023

Reproduce DeFi hacked incidents using Foundry.

Solidity 1 Updated Aug 6, 2024

A curated list of awesome of the Foundry development framework.

40 13 Updated Sep 20, 2023

easy POC template generation from the command line

Shell 78 7 Updated Aug 30, 2024

A markdown based template for writing spearbit reports

Python 1 Updated Jul 6, 2022

A curated list of web3Security materials and resources For Pentesters and Bug Hunters.

8 2 Updated Sep 2, 2023
Next