Library

• Knowledge Base

  Product documentation, API references, and integration guides.

  Sign-in required

• Blog

  Deep-dive posts, security research write-ups, and release notes.

• Research

  Long-form technical papers and experimental analysis.

Language-specific ZK analyzers. Each opens in its own workspace when you supply a source bundle or on-chain verifier address.

• Noir Circuits

  Analyze Noir (Nargo) circuits: constraints, witness generation, under-constrained detection.

  Sign-in required

• Circom Circuits

  Analyze Circom circuits and Groth16 verifier behavior.

  Sign-in required

• Leo (Aleo)

  Leo (Aleo) analysis support is in progress.

  Coming soon

• Cairo (StarkNet)

  Analyze Cairo programs and StarkNet CASM layout.

  Sign-in required