Lists (14)
Stars
Zones are private blockchains anchored to Tempo, with native support for confidential balances and transactions. Zones inherit compliance from Tempo L1 and support interoperability with Tempo for m…
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI
Robust and fast topic models with sentence-transformers.
An agentic research orchestrator for Go that is optimized to use free search & low-cost limited context window llms.
Fast and accurate AI powered file content types detection
UlamAI is an open-source Lean theorem prover and formalizer.
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 orchestration engine — one runTeam() call from goal to result. Multi-model teams, auto task decomposition, parallel execution. 3 runtime dependencies.
Source code for "Building Cryptographic Proofs from Hash Functions"