Verify Groth16 zk-SNARK proofs against verification keys and public inputs on the bn128 curve.

Verify KZG polynomial commitment evaluation proofs using pairing checks on bn128 or BLS12-381 curves.

Verify Merkle proofs against roots using Keccak-256 or SHA-3-256, with leaf position and proof validation.

Verify notarized documents by comparing hashes with on-chain notary records and metadata.

Verify PLONK zero-knowledge proofs using polynomial commitments and verification keys on the bn128 curve.

Verify proof of existence by comparing document hashes with on-chain transaction records.

Verify Schnorr signatures on secp256k1 following BIP340, using public keys and messages for authentication.

Verify cryptographic signatures against messages and signer addresses using Ethereum's personal_sign recovery.

Verify SNARK proofs with Groth16 or Plonk systems using verification keys and public inputs on the bn128 curve.

Verify STARK zero-knowledge proofs with selectable security levels using Merkle trees and FRI commitment verification.

Detect contract vulnerabilities: selfdestruct, reentrancy, tx.origin, unprotected functions, and more.

Simulate security scanning for Vyper smart contracts. Detect vulnerabilities, check for unsafe patterns, and get a security score.

Read-only wallet risk scorer: analyzes transaction history, contract interactions, counterparties, and activity patterns with

Submit watcher node challenges on EVM to report validator misbehavior.

Remove users from whitelists on EVM with admin privilege and status tracking.

Verifies validator withdrawal credentials using beacon chain data and credential rules.

Warn when wallet is on the wrong network for a contract: detect mismatches and AI-powered risk explanations.

Execute emergency shutdown on yield vaults with role verification, status display, and safety confirmation.

Verify zero-knowledge proofs against verification keys and public inputs. Supports Groth16, Plonk, and generic proof verification

Generate ZK compliance proofs proving minimum balance without revealing the actual amount.

Validates ZK rollup circuit constraints using on-chain verification contract and proof data.

Analyze ZK rollup proofs: verification status, state transitions, and AI-powered proof validity explanations.