1/ 🧵 ZK QUERIES MEGATHREAD Been hit with so many interesting questions about sub-second ZK proofs. We are a couple months away from open-sourcing the entire protocol, so let’s get into it, you damn nerds 🤓 THE LORE Space and Time (SxT) is a decentralized network running the

👀

As the community contributes to Blitzar, one thing I’m excited to see is support for more curves. Today, Blitzar supports… - BN254 - BLS12-381 - Curve25519 If you need a curve that’s not supported today, add it! Add support for Grumpkin, add support for Pasta curves. We

Let’s talk commitment schemes. When we were building Blitzar, we started with support for a generic inner product argument using Pedersen commitments. This is similar to what bullet proofs and a variety of other protocols do. It doesn't require a trusted setup, can grow

In order to understand Blitzar you need to understand multi-scalar multiplication. MSM involves a series of calculations where each one takes a group element and multiplies it by a corresponding data element: group element 1 times data element 1, plus group element 2 times data

Super excited to launch Proof of SQL today! Proof of SQL is a ZK protocol that enables scalable data processing beyond anything we’ve seen in Web3. The trick that gives the speed unlock here is that we built the protocol around the data: the commitments are data-driven, the

Security, Scalability, Speed. Pick 3.

When you're looking at the Proof of SQL benchmarks, note that this graph is deceptive. It's a log-log graph, so it makes it look like performance decreases as the dataset scales. The opposite is true. In fact, performance on this graph is sublinear. We haven't even hit the

We are thrilled to announce that Space and Time Labs has secured a $20M Series A, bringing our total funding to $50 million. 🚀⏳ SxT is empowering the community to own their future in an AI-powered world by providing the tools they need to build sophisticated, data-driven

We have been aggressively optimizing our GPU execution to reduce the cost of our polynomial commitments. This is the dominating cost (asymptotically and concretely) of most proof systems. However, as of these most recent benchmarks, the costs of our commitment scheme are now

Learn Yul? ✅ Port ZK verifiers? ✅ Cheap SQL on Ethereum? 👀

The cryptography team at MakeInfinite Labs pushed some new performance upgrades to the Space and Time Proof of SQL repo this week. The protocol can now prove queries against 1 million rows of data in less than a second. We are grateful to build with @NVIDIA and the Space and

.Grok what is this all about? U.S. Patent No. 12,353,404, approved issued July 8, 2025, for METHODS AND SYSTEMS FOR FACILITATING PROVABLE DATA INTEGRITY FOR VECTOR DATA STORES [U.S. Patent Application Serial No. 18/941,202, filed November 8, 2024] (Inventors: White and