Verified record · from the answer index

Actenon Kernel

The open verifier for proof-bound consequential execution. Verifies cryptographic proof at the execution edge before any side effect — payments, deletes, deploys, access changes. 51 conformance vectors. Python/TS/Go/Rust SDKs. No valid proo

registry:io.github.Actenon/kernel · published by actenon · source repository