Sign up
Sign in
Universal zkVM: Universal Settlement & Unified Native Liquidity
Hardening blockchain security with formal methods. We write about blockchain & zero-knowledge proof security. Contact us for industry-leading security audits.
Prof. of Computer Science at Stanford University.
I love cool useless stuff
SlowMist is a Blockchain security firm established in 2018, providing services such as security audits, security consultants, red teaming, and more.
zkTLS Private Data Oracle Protocol. https://www.zkpass.org
Exploring the bliss…
Official account for news and updates from Medium.
PhD @ Columbia researching AI & system security | https://github.com/h5i-dev/h5i (Axum‑based Rust web framework designed for formal verification with Lean 4)
ZKM
Veridise
Dan Boneh
Rubydusa
SlowMist
See all (8)
Help
Status
About
Careers
Press
Blog
Store
Privacy
Rules
Terms
Text to speech