If your security depends on someone reacting in time,
you don’t have a guarantee. You have coordination.

Wrote about a real failure mode that keeps showing up.
https://app.daily.dev/posts/yqybiiFvJ

#blockchain #smartcontracts #security #formalmethods #web3 #cryptography #defi #ethereum #protocoldesign

A protocol isn’t your happy path.
It’s what still holds under adversarial execution.

If you can’t define invariants over all state transitions, you’re not designing a protocol. You’re describing intent.

“Exploits” are just valid executions you failed to model.

#FormalMethods #ProtocolDesign #Cryptography

Working on a deterministic shared‑state transport layer inspired by entanglement. Trying to simplify distributed systems by removing consensus, metadata, and multi‑port noise.

https://spooksystems.io

#DistributedSystems #ProtocolDesign #QuantumComputing