Lists (14)
Stars
Garry's Opinionated OpenClaw/Hermes Agent Brain
Age Verification ZKP ICAO for Android
Solana IMprovement Documents (SIMDs) describe proposed and accepted changes to the Solana protocol.
Venus: Cysic's efforts on zkVM based on ZisK with customized hardware optimizations
MAD: The first work to explore Multi-Agent Debate with Large Language Models :D
A static analysis tool for rust, anchor, stylus, and solidity smart contracts.
Client library that facilitates interaction with the Miden blockchain
Use Codex from Claude Code to review code or delegate tasks.
Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.
Official repository for the Security Frameworks by SEAL. Currently under development, not a release.
The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.
TypeScript multi-agent framework — one runTeam() call from goal to result. Auto task decomposition, parallel execution. 3 dependencies, deploys anywhere Node.js runs.
Source code for "Building Cryptographic Proofs from Hash Functions"
Collect precompile call data from Ethereum mainnet for gas repricing analysis. Supports Geth and Reth.
experimental implementation of selection Post-Quantuum precompiles
A fast, modular, optimized ZKEVM core written in C++
a utility to quickly spin up a localnet of lean (multi-client) nodes
CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.
A curated list of resources about post-quantum cryptography.
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
An LLM-powered automated security review platform for Rust-based cryptography and P2P protocol systems across the Ethereum ecosystem
A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)