Ethereum

Introducing SPEX – Statistical Proof of Execution

🔍 Can you prove a computation was executed honestly?

SPEX (Statistical Proof of Execution) is a verifiable computing protocol that ensures computational tasks—even AI-driven ones—are executed without manipulation. Instead of full re-execution, SPEX uses probabilistic sampling and cryptographic proofs to verify integrity with minimal overhead.

✅ Verifies AI/ML computations, even with non-deterministic outputs
✅ Detects dishonest solvers without needing full re-execution
✅ Open-source implementation: warden-spex

Don't Trust, Verify 👾

🔗 See the links below to read our Paper and our Article👇

📕Read the full paper:
https://arxiv.org/abs/2503.18899
📰Read the article:
https://wardenprotocol.org/blog/introducing-spex-statistical-proof-of-execution
🛠GitHub Repo for Warden SPEX:
https://github.com/warden-protocol/warden-spex
⚙️Open-source reference implementation:
https://pypi.org/project/warden-spex/

If you want another good read 👀 - and even better, it's available

📕Read the full paper:
https://arxiv.org/abs/2503.18899
📰Read the article:
https://wardenprotocol.org/blog/introducing-spex-statistical-proof-of-execution
🛠GitHub Repo for Warden SPEX:
https://github.com/warden-protocol/warden-spex
⚙️Open-source reference implementation:
https://pypi.org/project/warden-spex/