Posts

All the articles I've posted.

• zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model

  Posted on:April 12, 2024 |  at 08:24 PM

  Dive into the world of zkSNARKs and zkSTARKs, and discover how these Zero-Knowledge Proof protocols enable a novel Verifiable Computation Model that surpasses the limitations of the Ethereum Virtual Machine. Learn about the key differences between the Linear and Constant Verifiable Computational Models, and explore real-world applications like zkLocus, which leverages recursive zkSNARKs to turn geolocation data into a programmable asset, and zkSafeZones, an initiative aimed at safeguarding civilians in conflict zones and automating legal compliance on the blockchain.

• Recursive zkSNARK Proof as a Private Input - What Is Visible To The Verifier?

  Posted on:December 3, 2023 |  at 08:08 PM

  In this blog post, we will explore the dynamic intersection of blockchain, privacy, and cryptography, focusing on the pivotal role of zero-knowledge proofs, especially zkSNARKs and their recursive variations. These innovative technologies are revolutionizing our approach to digital privacy and authenticity. Here, we delve into their practical applications, discussing their significance in Zero-Knowledge circuits, the Mina blockchain, and the O1JS framework. Additionally, we will examine how recursive zkSNARKs fuel applications like zkLocus, enabling users to authenticate and share their location while preserving privacy. By the end of this post, you'll have a comprehensive understanding of Zero-Knowledge applications, Zero-Knowledge ciructis, zkSNARKs, recursive zkSNARKs, and what exactly is visible to the verifier when a recursive proof is passed as a private input in a zkSNARKs circuit.

• zkLocus: Authenticated Private Geolocation Off & On-Chain

  Posted on:December 1, 2023 |  at 06:01 AM

  This blog post introduces zkLocus, a pioneering Zero-Knowledge, on-chain, cross-chain, and off-chain application, offering a disruptive paradigm in private and verifiable geolocation sharing. It allows users to authenticate their presence in specific geographical areas without revealing exact coordinates. zkLocus brings geolocation data onto the blockchain. It offers native bridging, native rollup functionality, and infinite proof compression. zkLocus is built on recursive zkSNARKs, making it inherently open to customization and extension.