Writing from Provably.
Company · 5 min readBeyond Circuits: A New Era for Verifiable DatabasesWhy QEDB makes verifiable SQL practical, without circuits or heavy SNARK overhead.
Company · 5 min readqedb: Rethinking Verifiable Databases from the Ground UpQEDB is Provably’s take on verifiable databases that ditches “SNARK everything” thinking and goes back to first principles. The post explains why trusting remote database answers is still a mess in modern stacks, surveys the two dominant VDB lineages (authenticated data structures vs SNARK-based systems), and then introduces QEDB as a third path.
Company · 5 min readCompleting the Confidential AI stack: Verifiable ExplorersMajor teams are building confidential AI infrastructure to store and process sensitive workloads.
Company · 3 min readProvably × Midnight: Building the Future of Verifiable ComputationProvably and Midnight are collaborating to advance the next generation of ZK on big data. The partnership combines Provably’s verifiable analytics with Midnight’s privacy-focused blockchain infrastructure to enable confidential DeFi, enterprise-grade privacy, and developer-friendly ZK tooling..png&w=3840&q=75)
Company · 5 min readIntroducing Proving - A technique to rapidly verify and trust AI answersWe are entering a golden age of AI agents, where they bring tremendous convenience to many aspects of our workflows and lives.
Company · 1 min readBulletproofs - a Crypto Gunfight at the OK CorralThis is a unique blog that I co-authored with Emanuele. We first met at a ZKWarsaw meetup, where I gave a presentation...
Company · 4 min readHello WorldFind a simple way to give proofs that information and analytics insights are created by aggregated queries on data stored in private relational databases.