</head><bodyclass="rustdoc mod crate"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><navclass="mobile-topbar"><buttonclass="sidebar-menu-toggle">☰</button><aclass="sidebar-logo"href="../halo2_proofs/index.html"><divclass="logo-container"><imgclass="rust-logo"src="../rust-logo.svg"alt="logo"></div></a><h2class="location"></h2></nav><navclass="sidebar"><aclass="sidebar-logo"href="../halo2_proofs/index.html"><divclass="logo-container"><imgclass="rust-logo"src="../rust-logo.svg"alt="logo"></div></a><h2class="location"><ahref="#">Crate halo2_proofs</a></h2><divclass="sidebar-elems"><divclass="block"><ul><liclass="version">Version 0.2.0</li><li><aid="all-types"href="all.html">All Items</a></li></ul></div><section><divclass="block"><ul><li><ahref="#reexports">Re-exports</a></li><li><ahref="#modules">Modules</a></li></ul></div></section></div></nav><main><divclass="width-limiter"><divclass="sub-container"><aclass="sub-logo-container"href="../halo2_proofs/index.html"><imgclass="rust-logo"src="../rust-logo.svg"alt="logo"></a><navclass="sub"><formclass="search-form"><divclass="search-container"><span></span><inputclass="search-input"name="search"autocomplete="off"spellcheck="false"placeholder="Click or press ‘S’ to search, ‘?’ for more options…"type="search"><divid="help-button"title="help"tabindex="-1"><buttontype="button">?</button></div><divid="settings-menu"tabindex="-1"><ahref="../settings.html"title="settings"><imgwidth="22"height="22"alt="Change settings"src="../wheel.svg"></a></div></div></form></nav></div><sectionid="main-content"class="content"><divclass="main-heading"><h1class="fqn"><spanclass="in-band">Crate <aclass="mod"href="#">halo2_proofs</a><buttonid="copy-path"onclick="copy_path(this)"title="Copy item path to clipboard"><imgsrc="../clipboard.svg"width="19"height="18"alt="Copy item path"></button></span></h1><spanclass="out-of-band"><aclass="srclink"href="../src/halo2_proofs/lib.rs.html#1-36">source</a> · <aid="toggle-all-docs"href="javascript:void(0)"title="collapse all docs">[<spanclass="inner">−</span>]</a></span></div><detailsclass="rustdoc-toggle top-doc"open><summaryclass="hideme"><span>Expand description</span></summary><divclass="docblock"><h2id="halo2_proofs"><ahref="#halo2_proofs">halo2_proofs</a></h2></div></details><h2id="reexports"class="small-section-header"><ahref="#reexports">Re-exports</a></h2><divclass="item-table"><divclass="item-row"><divclass="item-left import-item"id="reexport.pasta"><code>pub use pasta_curves as pasta;</code></div><divclass="item-right docblock-short"></div></div></div><h2id="modules"class="small-section-header"><ahref="#modules">Modules</a></h2><divclass="item-table"><divclass="item-row"><divclass="item-left module-item"><aclass="mod"href="arithmetic/index.html"title="halo2_proofs::arithmetic mod">arithmetic</a></div><divclass="item-right docblock-short"><p>This module provides common utilities, traits and structures for group,
</div></div><divclass="item-row"><divclass="item-left module-item"><aclass="mod"href="circuit/index.html"title="halo2_proofs::circuit mod">circuit</a></div><divclass="item-right docblock-short"><p>Traits and structs for implementing circuit components.</p>
</div></div><divclass="item-row"><divclass="item-left module-item"><aclass="mod"href="dev/index.html"title="halo2_proofs::dev mod">dev</a></div><divclass="item-right docblock-short"><p>Tools for developing circuits.</p>
</div></div><divclass="item-row"><divclass="item-left module-item"><aclass="mod"href="plonk/index.html"title="halo2_proofs::plonk mod">plonk</a></div><divclass="item-right docblock-short"><p>This module provides an implementation of a variant of (Turbo)<ahref="https://eprint.iacr.org/2019/953">PLONK</a>
that is designed specifically for the polynomial commitment scheme described
in the <ahref="https://eprint.iacr.org/2019/1021">Halo</a> paper.</p>
</div></div><divclass="item-row"><divclass="item-left module-item"><aclass="mod"href="poly/index.html"title="halo2_proofs::poly mod">poly</a></div><divclass="item-right docblock-short"><p>Contains utilities for performing arithmetic over univariate polynomials in
various forms, including computing commitments to them and provably opening
the committed polynomials at arbitrary points.</p>
</div></div><divclass="item-row"><divclass="item-left module-item"><aclass="mod"href="transcript/index.html"title="halo2_proofs::transcript mod">transcript</a></div><divclass="item-right docblock-short"><p>This module contains utilities and traits for dealing with Fiat-Shamir