Agents
NiyamAI locks an agent's intent contract with SHA-256 and emits a zk-SNARK proof per approved tool call — at 2.26 seconds each
Submitted 2026-08-07 (arXiv:2608.07167), NiyamAI intercepts every tool call, validates it against a SHA-256-locked Intent Contract using an isolated Judge model, then generates a zk-SNARK proof via EZKL so a third party can verify the safety check ran without seeing model weights. It reports F1 88.5% with a 1.1% false-positive rate on Agent-SafetyBench (p < 0.0001 vs zero-shot baselines), but the cost is stark: 2260.6 ± 218.4 ms to generate each proof against 53.1 ± 11.8 ms to verify. That asymmetry defines the deployment envelope — plausible for high-stakes irreversible actions, unusable in a tight tool loop.
Source
↳ Follow the thread