SYNOD TEE Atomic Scheduler
DoraHacks T3ADK Launch Edition 2026
Slide 01 // Title & Hook

Atomic Multi-Agent
Orchestration.

Transactional rollback and hardware-isolated consensus for specialized AI agent networks inside TEE enclaves.

Consensus Boundary
STAGED STATE: SUBMITTING (KV)
SPEC. DECISIONS: 2 / 2 APPROVED
ATOMIC STATUS: COMMITTED (100% Ok)
Slide 02 // The Problem

Uncoordinated Web2 Agent Pipelines

Traditional multi-agent frameworks (LangChain, crewAI) run sequentially over HTTP. If Agent B (Compliance) vetoes a transaction *after* Agent A (Treasury) has already executed its write, the system is left in a broken, inconsistent state with no rollback capability.

100%

Risk of Half-Executed States

Zero

Rollback Semantics over HTTP

Distributed Race Condition
> TREASURY_STATUS: Committed ($25,000)
> COMPLIANCE_STATUS: VETO (Veto triggered)
!!! CRITICAL ERROR: STATE INCONSISTENT !!!
Slide 03 // The Solution

Atomic Rollback Boundary

Synod turns independent agents into a unified, transactional agent platform inside a TEE. Either all specialists approve and the blind paymaster executes, or the entire transaction aborts—rolling back all staged database modifications with zero side effects.

TEE Consensus Cross-Contract Boundary
100% Rollback Zero Inconsistent States
Consensus flow
Coordinator Stage state
Specialists Evaluate consensus
KV Commit / Abort Atomic Rollback
Slide 04 // Architecture

Cross-Contract TEE Execution

Synod deploys multiple enclaves inside Intel TDX boundaries. The Coordinator orchestrates Specialists via `contracts-call`, ensuring that if any Specialist vetos, the state reverts back to the original baseline before it hits the host.

contracts-call Synchronous Leaf-enclave invocation
http-placeholders Blinds egress proxy payload
signing Issues verifiable audit credentials
kv-store Replicated consensus state machine
Consensus Stage Schema
// Atomically revert state:
state: "submitting"
evaluate: "Approver B vetos"
// Rollback KV journals immediately
state: "aborted" (0 side-effects)
Slide 05 // Cryptography

Groth16 ZK-SNARK Limits

To prevent the unsecure agent logs from exposing transaction values, the Compliance Specialist verifies spending policy compliance blindly. The client generates a Groth16 proof showing that the payout does not exceed category limits without revealing the transaction amount.

Blind Approvals Groth16 Verification
ECIES Payments secp256k1 + AES-GCM
Groth16 Verification inputs
"inputs": [
"0xamount_hash_commitment",
"0xspending_category_limit"
],
"verification": "Success (Proof Valid)"
Slide 06 // Micropayments

SLA Consensus & x402

Multi-agent verification workflows are guarded against Sybil execution spam using x402 micropayments. Consensus evaluations require validating on-chain payment tokens before the enclaves execute specialists.

Tokenized Consensus

Prevents workflow spam on enclaves

Verifiable trace

Signs VC verifying the approval chain

Consensus Verification
struct Consensus {
address initiator;
uint256 verificationTokenId;
bool executed;
}
function executeConsensus(uint256 id) public;
Slide 07 // Live Dashboard

Real-Time Consensus War-Room

The Synod Dashboard tracks the live deliberation logs. Monitor consensus voting across Treasury and Compliance specialists, verify the enclave-signed audit trails, and watch the atomic commit/rollback states in real-time.

Real-time Consensus Logs
Active Rollback Observability
DELIBERATION CHAMBER
TREASURY: OK
COMPLIANCE: OK
EXECUTOR: RUN
> [ENCLAVE] Consensus evaluated successfully.
> [ENCLAVE] Commit atomic transaction.
Slide 08 // Performance

Sub-Millisecond Leaf Latency

High-performance multi-agent coordination. Using native WASIP2 compilation, the enclaves verify cryptographic proofs and execute transaction staging loops in sub-millisecond timelines.

Phase p50 p99
Contracts Call Loop 0.58 ms 1.12 ms
ZK Proof Verify 1.34 ms 2.45 ms
State Rollback Revert < 0.003 ms < 0.006 ms
Evaluation Benchmarks
0.58ms Calls
1.34ms ZK Verify
<6μs rollback
Benchmark run over 1,000 simulated iterations
Slide 09 // Bug Bounty

11 Onboarding Bugs & Gaps

While building the Vouch Suite (including Synod, Epoch, Lethe, Silo, and Visor), we performed a deep audit of the `@terminal3` SDK. We discovered and documented 11 distinct bugs and documentation gaps, providing full workarounds.

Contracts-call stack depth limitation workaround (Gap #3)
Unmatched marker behavior in http-with-placeholders (Gap #10)
Bug Bounty Contributions
BUG
11 Audited Findings Detailed repros & fixes in BUGS.md
Slide 10 // Conclusion

Secure Your Swarm Today

Synod is fully open-source, offering a robust client-side SDK, Express coordinator gateway, Rust enclave contract, and Next.js war-room dashboard.

Synod Specifications
SDK Release:v1.0.0-beta
TEE Runtime:Active (TDX)
Egress Sandbox:Operational
License:MIT