DEV Community

Cover image for SNTL DePIN Oracle, Sybil is Solved: Triple-Invariant Proof for DePIN
Brandon Cebulak
Brandon Cebulak

Posted on

SNTL DePIN Oracle, Sybil is Solved: Triple-Invariant Proof for DePIN

#depin #sybil #formula

Triple-Invariant Sybil Resistance Constraint — Verification Record

Document ID: SNTL-SRv1

Date: 2026-08-22

Scope: Engineering verification record

1. Invariant Definitions

1.1 Physical Invariant: RF Path-Loss 

P_rx = P_tx + G_t + G_r - FSPL(d,f) - L_env
Enter fullscreen mode Exit fullscreen mode
Symbol Definition
P_rx Received signal power (reported RSSI)
P_tx Transmit power (known)
G_t Transmit antenna gain (known)
G_r Receive antenna gain (known)
FSPL(d,f) Free-space path loss as a function of distance and frequency
L_env Environmental loss (measured)

Constraint: A software-only adversary cannot replicate thermodynamic noise floors or path-loss gradients across multiple independent witnesses. Reported RSSI values inconsistent with the FSPL model beyond threshold are rejected as physically invalid.

Detection: SNTL flags any RSSI/FSPL residual exceeding 3σ from the witness consensus mean.

1.2 Economic Invariant: Quadratic Cost Scaling

Let n be the number of spoofed nodes. An adversary must:

  • Deploy n hardware emulation instances — linear cost O(n)
  • Pay n independent third-party oracles for corroboration — linear cost O(n) (Exa, Reddit, Serper, Cloudflare — all x402-metered)
  • Anchor every attestation with an on-chain receipt — per-claim cost (Solana or Tempo, status=1)

Constraint: Total adversarial cost scales as O(n^2) — linear for emulation, linear for corroboration, and quadratic when each node requires independent multi-party verification.

Result: There exists a scale n* beyond which expected adversarial reward is less than total cost. The attack becomes economically insolvent.

1.3 Cryptographic Invariant: On-Chain Receipted Validation

Every verdict is anchored by:

  • A payment transaction (x402 or MPP)
  • An on-chain receipt with status=1
  • A signed memo containing the formula and proof link

Constraint: A verdict cannot be contested without contesting the corresponding on-chain receipt. The chain is the authoritative arbiter.

Proof anchors:

Chain Transaction Hash
Tempo (chain 4217) 0x9032130060d92802d054583d264a0f5f36ae11a6f908a86fe984da839cfe4646
Solana 2TEnsbpuxLC3qsCLAf4MB2XfUbr2SF4B34vjpkV1Yzq2BeDqVuTzmEo6UX3SXFDkKRWMYtbSJ6K8GcuNZt7J939c

2. Proof Bundle

3. On-Chain Memo

Recorded in Tempo transaction 0x9032130060d92802d054583d264a0f5f36ae11a6f908a86fe984da839cfe4646:

SNTL-SRv1|Phys:FSPL+env|Econ:n*x402^2|Crypto:tempo+sol|Proof:https://f.stableupload.dev/pj7k93bxk8/sntl-proof-bundle-2026-08-19.json
Enter fullscreen mode Exit fullscreen mode

4. Reproducibility

Test harness execution time: approximately 2 minutes.

# Phase A - SNTL Data
npx agentcash fetch https://sntl-router.vercel.app/api/v2/threats/critical \
  --payment-network tempo \
  -H "x-payment-memo: SNTL-SRv1|Phys:FSPL+env|Econ:n*x402^2|Crypto:tempo+sol|Proof:https://f.stableupload.dev/pj7k93bxk8/sntl-proof-bundle-2026-08-19.json"

# Phase B — External corroboration (Exa, Reddit, Serper, Cloudflare)
npx agentcash fetch https://stableenrich.dev/api/exa?q=Helium%20hotspot%20spoofing \
  --payment-network tempo \
  -H "x-payment-memo: SNTL-SRv1|Phys:FSPL+env|Econ:n*x402^2|Crypto:tempo+sol|Proof:https://f.stableupload.dev/pj7k93bxk8/sntl-proof-bundle-2026-08-19.json"
Enter fullscreen mode Exit fullscreen mode

Full test harness: https://github.com/substreambc/sntl-mcp

5. Validation Summary

Phase Method Result
SNTL Rail 7 paid pulls: threats/low, threats/critical, wallets/target, rf/violations 7/7 receipted, status=1
External Corroboration 9 purchases from Exa, Reddit, Serper, Cloudflare 9/9 receipted, status=1
Methodology Alignment Helium HIP-0066, HIP-0118, HIP-0058, HIP-0108; Hivemapper MIP-20, MIP-24; 3roam detection STRONG — all align
Community Evidence r/HeliumNetwork flagged 112pqTWL... as spoofer; 408-hotspot wallet observed SOFT+ — matching SNTL wallet pools
Market Evidence CoinDesk, Messari, Bit2Me, Yellow.com No contradictions found

6. Verification Results

Test Status
Payment plane ✅ PASS — all 16 purchases receipted + on-chain status 1
Card↔rail payTo consistency ✅ PASS — challenge payTo matches agent-card payTo
Data plane v3 router ⚠️ DEFECT — empty bodies under Tempo MPP (treasury credits + receipts correct; remediation open)
Ledger v3 router ⚠️ DEFECT — shows 0 until channel settlement; malformed addresses accepted
Methodology corroboration ✅ STRONG — HIPs, MIPs, independent RF research align
Community corroboration ✅ SOFT+ — spoofer hotspots + whale wallets observed
Negative corroboration ✅ None found — no source contradicted any SNTL-flagged state

7. Findings

External corroboration of SNTL raw and enriched truth was achieved at both methodology and incident level. Every purchase was cryptographically anchored on-chain. Two v3 rail defects require remediation:

  1. Empty paid data bodies under Tempo MPP.
  2. Ledger settlement/validation behavior.

8. Conclusion

The conjunction of the physical, economic, and cryptographic invariants provides sybil resistance under the stated adversary model. The proof is published, on-chain, and the test harness is reproducible.

9. Artifacts

website: sntl.site
rail: sntl-router.vercel.app

Top comments (0)