ICME Labs
We build memory efficient zero-knowledge proofs for private and trustless agents.
Pinned Loading
Repositories
Showing 10 of 25 repositories
- kinic-cli Public
ICME-Lab/kinic-cli’s past year of commit activity - icme-preflight-guardrail Public
Automated Reasoning guardrails for OpenClaw agents. Check every action against your policy before it executes — SAT or UNSAT in under a second. Free logic checker included.
ICME-Lab/icme-preflight-guardrail’s past year of commit activity - jolt-atlas Public
Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡
ICME-Lab/jolt-atlas’s past year of commit activity - blackhole-token-burner Public
ICME-Lab/blackhole-token-burner’s past year of commit activity - Vectune Public
ICME-Lab/Vectune’s past year of commit activity - zkEngine_dev Public
A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.
ICME-Lab/zkEngine_dev’s past year of commit activity - zkml-benchmarks Public
ICME-Lab/zkml-benchmarks’s past year of commit activity
Sponsoring
Top languages
Loading…
Most used topics
Loading…