Axiom(@axiom_xyz):Our AI auditor for ZK found a soundness vulnerability in stwo-cairo, the zero-knowledge proof system securing @Starknet. Starting from a general prompt, it autonomously found the vulnerability and created a PoC forging a proof accepted by both the Rust and recursive verifiers.

Axiom

@axiom_xyz

Building ZK-enabled infrastructure with @OpenVM_org. Dev docs: Join us:

Joined October 2022

0 Following 32.2K Followers

Axiom@axiom_xyz

2026.07.27 16:00

Our AI auditor for ZK found a soundness vulnerability in stwo-cairo, the zero-knowledge proof system securing @Starknet. Starting from a general prompt, it autonomously found the vulnerability and created a PoC forging a proof accepted by both the Rust and recursive verifiers.