blockchainkit.proofs
====================

Zero-knowledge and succinct proofs: sum-check and PCPs, KZG, Groth16 and PLONK with their trusted setups, Zerocash, and transparent Bulletproofs, FRI, STARKs and Halo.

.. grid:: 1 2 3 3
   :gutter: 2

   .. grid-item-card:: History
      :link: /history/proofs_breakthroughs
      :link-type: doc

      The breakthroughs behind this subpackage, linked to the implementation.

   .. grid-item-card:: Examples
      :link: /api/gallery/proofs/index
      :link-type: doc

      The runnable example gallery.

   .. grid-item-card:: API reference
      :link: /api/proofs
      :link-type: doc

      Every public class and function.