Violet
1.5K posts









zk proofs were theoretically solved decades before anyone could run them in production. the math existed! but there was a large chasm between the math and practical feasibility. the solution was groundbreaking; below is more on it and why it keeps showing up in everything we're building. 🧵







One year from now it will seem crazy that markets were closed on weekends

one of our binaries in the proof market had typical corruption in a sub-proof. each proof has ~1,500 sub-proofs. finding a bad one should be a nightmare. we found it in seconds! not because our machines are good. because the underlying architecture separates concerns cleanly enough that failure is always localized. that's the difference between infrastructure built right and infrastructure that just works until it doesn't. don't think about reliability just as uptime. it's knowing exactly where things break when they do.







