✳flâneur — a map of the web's best reading

Working Groups - ZKProof Resources

docs.zkproof.org · 739 words · saved by 1 readers

The purpose of this webpage is to identify current and past ZKProof Working Groups, and provide quick links to some of their reference material. ZKProof supports the dissemination of WG’s reference material for community discussion, but each WG is reponsible for their own goals and documentation, including the descriptions provided below. Since the creation of the ZKProof Standards Committee (2023), and the process for WG creation (2024), the following groups have been created: The Fiat-Shamir heuristic is a method for transforming a public-coin interactive proof into a non- interactive proof via cryptographic hash functions. This project aims to bridge the theoretical and practical aspects of the Fiat-Shamir transforms. The WG’s goal is to develop a technique that is easy to implement using sponge functions, algebraic hashes, and the NIST SHA2 API (update and digest) now used in most programming languages. An oracle compiler converts an interactive oracle proof (IOP) into an interacti

Working Groups - ZKProof Resources Menu Home Forum ZKProof Working Groups (WG) Table of contents Working Groups since 2024 Fiat-Shamir Compiler Oracle Compilers Plonkish Constraint System Sigma Protocols Working groups prior to 2022 Other Discussion Groups The purpose of this webpage is to identify current and past ZKProof Working Groups, and provide quick links to some of their reference material. ZKProof supports the dissemination of WG’s reference material for community discussion, but each WG is reponsible for their own goals and documentation, including the descriptions provided below. Wo

Explore this link on the map →

related reading