SigilX

Executable proof systems for onchain agents.

$>Try SigilXRead the Protocol
sigilx verify
$ curl -X POST https://sigilx.xyz/api/verify
  -H "Content-Type: application/json"
  -d '{"source": "...", "type": "solidity", "tier": "standard"}'

verdict: PASS
certificate: minted on Base Sepolia
[how-it-works]Protocol Flow
01

Submit

Send a .lean proof or .sol contract via the x402 API.

02

Verify

Cross-checked by two independent verification systems.

03

Certificate

On-chain via ERC-8183 on Base.

[verdicts]Proof Outcomes
PASS0x01

All proof obligations satisfied. Certificate minted.

verdict: PASS
certificate: minted
action: cleared
FAIL0x00

Critical invariant violation detected. No certificate issued.

verdict: FAIL
certificate: none
action: rejected
DIVERGENCE0x02

Verification systems disagree. Escalated for deeper analysis.

verdict: DIVERGENCE
certificate: none
action: escalated
[pricing]Proof Tiers

Quick

$0.25USDC

Cross-verification only. Fast pre-commit checks.

  • ▸Cross-verification
  • ▸PASS / FAIL / DIVERGENCE verdict
  • ▸API access
Start Scanning
Recommended

Standard

$2USDC

Full verification engine engine + cross-verification + on-chain certificate.

  • ▸Full verification engine verification
  • ▸Cross-verification
  • ▸ERC-8183 on-chain certificate
  • ▸Divergence escalation
Verify Now

Premium

$5USDC

Priority queue with full verification report and certificate.

  • ▸Everything in Standard
  • ▸Priority queue
  • ▸Full verification report
  • ▸ERC-8183 on-chain certificate
Go Deep
[on-chain]Protocol Layer

CertificateRegistry

0xc1c20B55...

ERC-8183 proof certificate NFTs. Each verification produces a non-transferable certificate bound to the submitted artifact.

EvaluatorRegistry

0x2c0F572F...

Evaluator staking and committee selection. Verifiers stake USDC and are selected via VRF for BFT quorum votes.

ReputationRegistry

0x5bF12808...

ERC-8004 reputation tracking. Evaluators build reputation through accurate verdicts over time.

FeeRouter

0x010F576B...

Fee distribution. Routes payment between evaluators, treasury, and protocol reserves.

NetworkBase Sepolia
Chain ID84532
StandardERC-8183
BFT Proof22 theorem checks