-
Notifications
You must be signed in to change notification settings - Fork 34
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
a38185d
commit abccde4
Showing
62 changed files
with
1,763 additions
and
187 deletions.
There are no files selected for viewing
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
26 changes: 22 additions & 4 deletions
26
docs/arecibo/provider/hyperkzg/struct.EvaluationEngine.html
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,9 +1,9 @@ | ||
| <!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="This module implements Nova’s traits using the following several different combinations"><title>arecibo::provider - Rust</title><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceSerif4-Regular-46f98efaafac5295.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/FiraSans-Regular-018c141bf0843ffd.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/FiraSans-Medium-8f9a781e4970d388.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceCodePro-Regular-562dcc5011b6de7d.ttf.woff2"><link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/SourceCodePro-Semibold-d899c5a5c4aeb14a.ttf.woff2"><link rel="stylesheet" href="../../static.files/normalize-76eba96aa4d2e634.css"><link rel="stylesheet" href="../../static.files/rustdoc-ac92e1bbe349e143.css"><meta name="rustdoc-vars" data-root-path="../../" data-static-root-path="../../static.files/" data-current-crate="arecibo" data-themes="" data-resource-suffix="" data-rustdoc-version="1.76.0 (07dca489a 2024-02-04)" data-channel="1.76.0" data-search-js="search-2b6ce74ff89ae146.js" data-settings-js="settings-4313503d2e1961c2.js" ><script src="../../static.files/storage-f2adc0d6ca4d09fb.js"></script><script defer src="../sidebar-items.js"></script><script defer src="../../static.files/main-305769736d49e732.js"></script><noscript><link rel="stylesheet" href="../../static.files/noscript-feafe1bb7466e4bd.css"></noscript><link rel="alternate icon" type="image/png" href="../../static.files/favicon-16x16-8b506e7a72182f1c.png"><link rel="alternate icon" type="image/png" href="../../static.files/favicon-32x32-422f7d1d52889060.png"><link rel="icon" type="image/svg+xml" href="../../static.files/favicon-2c020d218678b618.svg"></head><body class="rustdoc mod"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle">☰</button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../arecibo/index.html">arecibo</a><span class="version">0.2.0</span></h2></div><h2 class="location"><a href="#">Module provider</a></h2><div class="sidebar-elems"><section><ul class="block"><li><a href="#modules">Modules</a></li><li><a href="#structs">Structs</a></li></ul></section><h2><a href="../index.html">In crate arecibo</a></h2></div></nav><div class="sidebar-resizer"></div> | ||
| <main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../../arecibo/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Module <a href="../index.html">arecibo</a>::<wbr><a class="mod" href="#">provider</a><button id="copy-path" title="Copy item path to clipboard"><img src="../../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../../src/arecibo/provider/mod.rs.html#1-255">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>This module implements Nova’s traits using the following several different combinations</p> | ||
| <main><div class="width-limiter"><nav class="sub"><form class="search-form"><span></span><div id="sidebar-button" tabindex="-1"><a href="../../arecibo/all.html" title="show sidebar"></a></div><input class="search-input" name="search" aria-label="Run search in the documentation" autocomplete="off" spellcheck="false" placeholder="Click or press ‘S’ to search, ‘?’ for more options…" type="search"><div id="help-button" tabindex="-1"><a href="../../help.html" title="help">?</a></div><div id="settings-menu" tabindex="-1"><a href="../../settings.html" title="settings"><img width="22" height="22" alt="Change settings" src="../../static.files/wheel-7b819b6101059cd0.svg"></a></div></form></nav><section id="main-content" class="content"><div class="main-heading"><h1>Module <a href="../index.html">arecibo</a>::<wbr><a class="mod" href="#">provider</a><button id="copy-path" title="Copy item path to clipboard"><img src="../../static.files/clipboard-7571035ce49a181d.svg" width="19" height="18" alt="Copy item path"></button></h1><span class="out-of-band"><a class="src" href="../../src/arecibo/provider/mod.rs.html#1-256">source</a> · <button id="toggle-all-docs" title="collapse all docs">[<span>−</span>]</button></span></div><details class="toggle top-doc" open><summary class="hideme"><span>Expand description</span></summary><div class="docblock"><p>This module implements Nova’s traits using the following several different combinations</p> | ||
| </div></details><h2 id="modules" class="section-header"><a href="#modules">Modules</a></h2><ul class="item-table"><li><div class="item-name"><a class="mod" href="hyperkzg/index.html" title="mod arecibo::provider::hyperkzg">hyperkzg</a></div><div class="desc docblock-short">This module implements Nova’s evaluation engine using <code>HyperKZG</code>, a KZG-based polynomial commitment for multilinear polynomials | ||
| HyperKZG is based on the transformation from univariate PCS to multilinear PCS in the Gemini paper (section 2.4.2 in <code><https://eprint.iacr.org/2022/420.pdf></code>). | ||
| However, there are some key differences: | ||
| (1) HyperKZG works with multilinear polynomials represented in evaluation form (rather than in coefficient form in Gemini’s transformation). | ||
| This means that Spartan’s polynomial IOP can use commit to its polynomials as-is without incurring any interpolations or FFTs. | ||
| (2) HyperKZG is specialized to use KZG as the univariate commitment scheme, so it includes several optimizations (both during the transformation of multilinear-to-univariate claims | ||
| and within the KZG commitment scheme implementation itself).</div></li><li><div class="item-name"><a class="mod" href="ipa_pc/index.html" title="mod arecibo::provider::ipa_pc">ipa_pc</a></div><div class="desc docblock-short">This module implements <code>EvaluationEngine</code> using an IPA-based polynomial commitment scheme</div></li><li><div class="item-name"><a class="mod" href="non_hiding_zeromorph/index.html" title="mod arecibo::provider::non_hiding_zeromorph">non_hiding_zeromorph</a></div><div class="desc docblock-short">Non-hiding Zeromorph scheme for Multilinear Polynomials.</div></li></ul><h2 id="structs" class="section-header"><a href="#structs">Structs</a></h2><ul class="item-table"><li><div class="item-name"><a class="struct" href="struct.Bn256Engine.html" title="struct arecibo::provider::Bn256Engine">Bn256Engine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with BN254 curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.Bn256EngineKZG.html" title="struct arecibo::provider::Bn256EngineKZG">Bn256EngineKZG</a></div><div class="desc docblock-short">An implementation of Nova traits with multilinear KZG over the BN256 curve</div></li><li><div class="item-name"><a class="struct" href="struct.Bn256EngineZM.html" title="struct arecibo::provider::Bn256EngineZM">Bn256EngineZM</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with BN254 curve and Zeromorph commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.GrumpkinEngine.html" title="struct arecibo::provider::GrumpkinEngine">GrumpkinEngine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Grumpkin curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.PallasEngine.html" title="struct arecibo::provider::PallasEngine">PallasEngine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Pallas curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.Secp256k1Engine.html" title="struct arecibo::provider::Secp256k1Engine">Secp256k1Engine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Secp256k1 curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.Secq256k1Engine.html" title="struct arecibo::provider::Secq256k1Engine">Secq256k1Engine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Secp256k1 curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.VestaEngine.html" title="struct arecibo::provider::VestaEngine">VestaEngine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Vesta curve and Pedersen commitment scheme</div></li></ul></section></div></main></body></html> | ||
| and within the KZG commitment scheme implementation itself).</div></li><li><div class="item-name"><a class="mod" href="ipa_pc/index.html" title="mod arecibo::provider::ipa_pc">ipa_pc</a></div><div class="desc docblock-short">This module implements <code>EvaluationEngine</code> using an IPA-based polynomial commitment scheme</div></li><li><div class="item-name"><a class="mod" href="non_hiding_zeromorph/index.html" title="mod arecibo::provider::non_hiding_zeromorph">non_hiding_zeromorph</a></div><div class="desc docblock-short">Non-hiding Zeromorph scheme for Multilinear Polynomials.</div></li><li><div class="item-name"><a class="mod" href="shplonk/index.html" title="mod arecibo::provider::shplonk">shplonk</a></div><div class="desc docblock-short">Shplonk PCS</div></li></ul><h2 id="structs" class="section-header"><a href="#structs">Structs</a></h2><ul class="item-table"><li><div class="item-name"><a class="struct" href="struct.Bn256Engine.html" title="struct arecibo::provider::Bn256Engine">Bn256Engine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with BN254 curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.Bn256EngineKZG.html" title="struct arecibo::provider::Bn256EngineKZG">Bn256EngineKZG</a></div><div class="desc docblock-short">An implementation of Nova traits with multilinear KZG over the BN256 curve</div></li><li><div class="item-name"><a class="struct" href="struct.Bn256EngineZM.html" title="struct arecibo::provider::Bn256EngineZM">Bn256EngineZM</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with BN254 curve and Zeromorph commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.GrumpkinEngine.html" title="struct arecibo::provider::GrumpkinEngine">GrumpkinEngine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Grumpkin curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.PallasEngine.html" title="struct arecibo::provider::PallasEngine">PallasEngine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Pallas curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.Secp256k1Engine.html" title="struct arecibo::provider::Secp256k1Engine">Secp256k1Engine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Secp256k1 curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.Secq256k1Engine.html" title="struct arecibo::provider::Secq256k1Engine">Secq256k1Engine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Secp256k1 curve and Pedersen commitment scheme</div></li><li><div class="item-name"><a class="struct" href="struct.VestaEngine.html" title="struct arecibo::provider::VestaEngine">VestaEngine</a></div><div class="desc docblock-short">An implementation of the Nova <code>Engine</code> trait with Vesta curve and Pedersen commitment scheme</div></li></ul></section></div></main></body></html> |
Oops, something went wrong.