Tag:dev

All the articles with the tag "dev".

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

• The Codeumentary Blog - A Comprehensive Guide and Referrence

  Posted on:November 16, 2023 |  at 09:55 PM

  Dive into the archive of The Codeumentary Blog. This reference guide offers a seamlesstransition to the new blog at illya.sh/blog, ensuring continued access to the insights and deep technical dives on Software Engineering and Computer Security. Explore the blog posts which have been revered in academic and professional circles, and access their summaries in one place. The backlink integerity of The Codeumentary Blog has been preserved.