Observed arrival · 2026-10-22
Werracle’s 32-byte on-chain decision system
Werracle presents a blockchain decision protocol whose model is packed into one EVM storage slot, alongside Lean 4 proofs and performance benchmarks.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- DeFi teams, auditors, and formal-verification researchers
- Worth noticing
- The page describes a packed bytes32 model with seed coordinate, zoom, nonce, threshold, mode, and pause flag.
Field notes
The page separates the company site from two other addresses: one for research and one for the protocol and dApp. It describes the system as a same-transaction guard and names lending markets, DEX hooks, and vaults as integration contexts. Reported materials include Lean 4 proofs, open benchmarks, and test vectors; commercial use is described as licensed.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
◎NicheUnusually specific use
One card from the complete issue