Tag:o1js

All the articles with the tag "o1js".

• 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.