Project status

Snapshot of where Syntarie is right now, refreshed each time the verified test floor or audit verdict changes.

Current verified facts (2026-04-26)

MetricValueSource
Verified test floor7,341 passed + 1 ignored / 0 faileddev/main at 51bc3f1f
interface tests6,482post-V1.1 reverify
scc-tui tests843post-V1.1 reverify
Foundry tests16audit additions
Goal-average %~92% across 12 audited goalslatest audit (2026-04-26)
Public testnet heightlive, see home pageHetzner 3-validator deploy, updates every 3 s
Mainnet ship verdictBLOCKED, operational + capitallatest audit

Goals (audit, 2026-04-26)

#Goal%Notes
1MEV / private orderflow91
2User errors / transfer safety91
3Scams / phishing89
4Bridge / cross-chain risk97Launch enablers closed
5Finality / reorg risk9060-min sustained baseline
6Fee predictability93
7Privacy / disclosure91
8Key management / recovery88
9Smart contracts / execution safety93SECURITY-1 sibling closed fail-loud
10Governance93
11Sybil / QoS92Throttle + auth gate
12Fragmentation / intent routing86Out of v1 scope

Strongest: Bridge (97), Smart contracts (93), Governance (93), Fee (93), Sybil/QoS (92). Weakest: Fragmentation (86), out of scope; Recovery (88), work continues.

What changed since last audit

  • SECURITY-1 sibling closed fail-loud, evaluate_policy rejects payload-context spoofing across 8 axes (caller, height, signatures, count, amount, recipient, memo, cached state facts).
  • 7 audit-fix sprints integrated, ~48 production findings + 10 regression tests closed.
  • Bridge code launch-ready, Python codec now signs with real keys; rotation digest aligned to Solidity.
  • 60-min sustained baseline, chain advance +6,999 blocks at ~2 blocks/sec across 3 EU validators.
  • Public testnet shipped, anyone with curl can install + transact.
  • Dependency hygiene, bytes RUSTSEC-2026-0007 + time RUSTSEC-2026-0009 bumps.

What still has to happen for v1 mainnet

All operational + capital, no engineering blocking:

  1. Register Base domain on all 3 validators (operator-SSH, ~1 day)
  2. Execute Sepolia drills 1 / 3 / 4 / 5 (operator-SSH, ~1 day)
  3. Complete one end-to-end round-trip Syntarie ↔ Base (operator-SSH, half day)
  4. Generate production prover keys + custody proof (capital + ops, half day)
  5. Deploy real Base controller multisig (capital + ops, half day)
  6. Mainnet dry-run without broadcast (operator-SSH, half day)
  7. Mainnet deploy + BaseScan verification (capital, half day)
  8. Fund seed liquidity wallet ($20–50k USDC) (capital decision)
  9. Create Uniswap pool + mint liquidity (capital, ~half day)
  10. Record one external-address trade (organic, depends on visibility)

ETA from "go": ~1 focused week subject to capital readiness.

How this page gets refreshed

  • Test floor: only after ./scripts/run_tests.sh is run on a clean tree.
  • Goal percentages: only after a formal audit (next audit pending).
  • Verdict: changes when a fix sprint closes a blocker, OR when a capital decision closes a blocker.

If you want to see the audit reports themselves, they live in Evidence.