├── .cargo └── config.toml ├── .github ├── dependabot.yml └── workflows │ └── rust.yml ├── .gitignore ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── assets ├── evaluation_graphs.png ├── evaluation_graphs_inverted.png └── talks │ └── 2024-May-22-zkproof.key │ ├── Data │ ├── 660384004_1290x1720-small-5876.jpeg │ ├── 660384004_rotate_1964x1473-small-8049.jpeg │ ├── 666699290_02_crop_3159x1892-small-7420.jpeg │ ├── 886640052_1858x1486-small-8023.jpeg │ ├── 886640052_3195x2556-small-6274.jpeg │ ├── 910457886_1434x1669-small-5644.jpeg │ ├── ETH-logo-cropped-9223.jpg │ ├── ETH-logo-cropped-small-9224.jpeg │ ├── Screenshot 2024-04-23 at 11.54-9364.png │ ├── Screenshot 2024-04-23 at 11.54.35-9363.png │ ├── Screenshot 2024-04-23 at 11.55-9374.png │ ├── Screenshot 2024-04-23 at 11.55.20-9369.png │ ├── Screenshot 2024-04-24 at 14.42-9585.png │ ├── Screenshot 2024-04-24 at 14.42.52-9584.png │ ├── Screenshot 2024-05-07 at 15.44-9932.png │ ├── Screenshot 2024-05-07 at 15.44.41-9931.png │ ├── Screenshot 2024-05-20 at 12.12-10988.png │ ├── Screenshot 2024-05-20 at 12.12.14-10987.png │ ├── Screenshot 2024-05-20 at 16.29-11185.png │ ├── Screenshot 2024-05-20 at 16.29.46-11184.png │ ├── Screenshot 2024-05-20 at 17.17-11557.png │ ├── Screenshot 2024-05-20 at 17.17.53-11556.png │ ├── Screenshot 2024-05-22 at 00.07-12205.png │ ├── Screenshot 2024-05-22 at 00.07.59-12204.png │ ├── Screenshot 2024-05-22 at 17.38-15211.png │ ├── Screenshot 2024-05-22 at 17.38.38-15210.png │ ├── Screenshot 2024-05-22 at 22.26-15891.png │ ├── Screenshot 2024-05-22 at 22.26.50-15890.png │ ├── Screenshot 2024-05-22 at 23.30-16346.png │ ├── Screenshot 2024-05-22 at 23.30.24-16345.png │ ├── Unknown-1-10942.jpeg │ ├── Unknown-1-12104.png │ ├── Unknown-12062.png │ ├── Unknown-2-12169.png │ ├── Unknown-9191.png │ ├── Unknown-small-9192.png │ ├── blankMoviePosterImage-8945.png │ ├── equation-10262.pdf │ ├── equation-10752.pdf │ ├── equation-11206.pdf │ ├── equation-11417.pdf │ ├── equation-11543.pdf │ ├── equation-11546.pdf │ ├── equation-11577.pdf │ ├── equation-11868.pdf │ ├── equation-11869.pdf │ ├── equation-11881.pdf │ ├── equation-11885.pdf │ ├── equation-11964.pdf │ ├── equation-11967.pdf │ ├── equation-11970.pdf │ ├── equation-11974.pdf │ ├── equation-11977.pdf │ ├── equation-13034.pdf │ ├── equation-13716.pdf │ ├── equation-13724.pdf │ ├── equation-13727.pdf │ ├── equation-13798.pdf │ ├── equation-13799.pdf │ ├── equation-13800.pdf │ ├── equation-13801.pdf │ ├── equation-13802.pdf │ ├── equation-13803.pdf │ ├── equation-14029.pdf │ ├── equation-14111.pdf │ ├── equation-14115.pdf │ ├── equation-14120.pdf │ ├── equation-14122.pdf │ ├── equation-14124.pdf │ ├── equation-14125.pdf │ ├── equation-14126.pdf │ ├── equation-14262.pdf │ ├── equation-14269.pdf │ ├── equation-14274.pdf │ ├── equation-14280.pdf │ ├── equation-14286.pdf │ ├── equation-14291.pdf │ ├── equation-14296.pdf │ ├── equation-14300.pdf │ ├── equation-14307.pdf │ ├── equation-14313.pdf │ ├── equation-14318.pdf │ ├── equation-14322.pdf │ ├── equation-14333.pdf │ ├── equation-14826.pdf │ ├── equation-14829.pdf │ ├── equation-14838.pdf │ ├── equation-14891.pdf │ ├── equation-14948.pdf │ ├── equation-15101.pdf │ ├── equation-15424.pdf │ ├── equation-15466.pdf │ ├── equation-15480.pdf │ ├── equation-15490.pdf │ ├── equation-15829.pdf │ ├── equation-15870.pdf │ ├── equation-15970.pdf │ ├── equation-15973.pdf │ ├── equation-15976.pdf │ ├── equation-15979.pdf │ ├── equation-15982.pdf │ ├── equation-16375.pdf │ ├── jolt_alpha-10776.png │ ├── jolt_alpha-small-10777.png │ ├── logo-10768.pdf │ ├── logo-10770.svg │ ├── logo-small-10769.png │ ├── motionBackground-9127.jpeg │ ├── motionBackground-9129.jpeg │ ├── motionBackground-9131.jpeg │ ├── motionBackground-9162.jpeg │ ├── mt-0A163428-3C27-4934-A543-05B4CDC09ADC-9074.jpg │ ├── mt-35A2BADC-15A3-4C4C-8FC4-BE3F43DB2C81-9070.jpg │ ├── mt-3EB832C5-F866-4C9D-9B43-B917B4357166-9060.jpg │ ├── mt-7BE0513C-8879-456F-B511-A0CC26927B57-9063.jpg │ ├── mt-8B9472A3-507F-4EAA-B23C-57ED0017E82C-9066.jpg │ ├── mt-954192B3-17B8-4531-9939-E3C02C2EB699-9069.jpg │ ├── mt-9C1B6E0A-5A9E-4928-A46A-8CB3B510ED5C-9065.jpg │ ├── mt-A41B5686-3819-4428-B0EB-B8B6DCAD2DCD-9064.jpg │ ├── mt-AC89624E-78DC-4691-A5A9-A440279F47BB-9075.jpg │ ├── mt-AFEA9A40-1CF1-4053-8EF9-1DC40696E1EF-9062.jpg │ ├── mt-C3AE2756-5E57-4269-8F55-5E6EC3251637-9073.jpg │ ├── mt-C639D131-2DD6-4BEB-A183-3E1C6CBFAE82-9061.jpg │ ├── mt-CD84CCE8-E47D-4F75-84AC-FC1AE5AAD519-9072.jpg │ ├── mt-DD78EF7F-F4FC-4C37-B6DE-D2B10C766269-9059.jpg │ ├── mt-E2A8EBAA-0938-476D-BA41-F6E903ED9860-9071.jpg │ ├── mt-EA58BDC8-361A-4BFA-8A2E-FF8B544937DC-9029.jpg │ ├── slide-1-9583.jpeg │ ├── slide-10-12629.jpeg │ ├── slide-11-12260.jpeg │ ├── slide-13-15972.jpeg │ ├── slide-14-15114.jpeg │ ├── slide-14-16373.jpeg │ ├── slide-17-16448.jpeg │ ├── slide-18-16452.png │ ├── slide-3-13880.jpeg │ ├── slide-5-14123.jpeg │ ├── slide-6-14222.jpeg │ ├── slide-7-15572.jpeg │ ├── slide-9-12048.jpeg │ ├── st-54EABEF0-7B1F-44A2-89EE-0D80E38C8CE5-9058.jpg │ ├── st-8DE85130-B139-4467-8EED-D6357DBBF0CD-9175.png │ ├── st-980ED644-6177-4F4A-9F65-EB078617F299-9301.png │ ├── st-BAF5B669-C126-4AFA-9C3E-0F505278D23B-9303.png │ ├── st-E19B6433-7DA5-4387-870D-F67B39966FCC-9306.png │ └── st-F1E88A99-4205-469D-83E7-CC1D6BC23F97-9297.png │ ├── Index.zip │ ├── Metadata │ ├── BuildVersionHistory.plist │ ├── DocumentIdentifier │ └── Properties.plist │ ├── preview-micro.jpg │ ├── preview-web.jpg │ └── preview.jpg ├── benches ├── explanation.rs ├── lag-poly-benches │ ├── Cargo.lock │ ├── Cargo.toml │ └── run_benches.sh ├── provers.rs └── sumcheck-benches │ ├── Cargo.lock │ ├── Cargo.toml │ ├── run_benches.sh │ └── src │ ├── main.rs │ └── validation │ └── mod.rs └── src ├── hypercube ├── hypercube.rs ├── hypercube_member.rs └── mod.rs ├── interpolation ├── lagrange_polynomial.rs └── mod.rs ├── lib.rs ├── messages ├── mod.rs └── verifier_messages.rs ├── multilinear ├── mod.rs ├── provers │ ├── blendy │ │ ├── config.rs │ │ ├── core.rs │ │ ├── mod.rs │ │ └── prover.rs │ ├── mod.rs │ ├── space │ │ ├── config.rs │ │ ├── core.rs │ │ ├── mod.rs │ │ └── prover.rs │ └── time │ │ ├── config.rs │ │ ├── core.rs │ │ ├── mod.rs │ │ ├── prover.rs │ │ └── reductions │ │ ├── mod.rs │ │ ├── pairwise.rs │ │ ├── tablewise.rs │ │ └── variablewise.rs └── sumcheck.rs ├── multilinear_product ├── mod.rs ├── provers │ ├── blendy │ │ ├── config.rs │ │ ├── core.rs │ │ ├── mod.rs │ │ └── prover.rs │ ├── mod.rs │ ├── space │ │ ├── config.rs │ │ ├── core.rs │ │ ├── mod.rs │ │ └── prover.rs │ └── time │ │ ├── config.rs │ │ ├── core.rs │ │ ├── mod.rs │ │ ├── prover.rs │ │ └── reductions │ │ ├── mod.rs │ │ ├── pairwise.rs │ │ └── variablewise.rs └── sumcheck.rs ├── order_strategy ├── ascending │ ├── ascending.rs │ └── mod.rs ├── core.rs ├── descending │ ├── descending.rs │ └── mod.rs ├── graycode │ ├── graycode.rs │ └── mod.rs ├── mod.rs └── msb │ ├── mod.rs │ └── msb.rs ├── prover ├── core.rs └── mod.rs ├── streams ├── file │ ├── core.rs │ └── mod.rs ├── memory │ ├── core.rs │ └── mod.rs ├── mod.rs ├── stream.rs └── stream_iterator.rs └── tests ├── fields.rs ├── mod.rs ├── multilinear ├── mod.rs ├── provers │ ├── basic │ │ ├── config.rs │ │ ├── core.rs │ │ ├── mod.rs │ │ └── prover.rs │ └── mod.rs └── sanity.rs ├── multilinear_product ├── consistency.rs ├── mod.rs ├── provers │ ├── basic │ │ ├── config.rs │ │ ├── core.rs │ │ ├── mod.rs │ │ └── prover.rs │ └── mod.rs └── sanity.rs ├── polynomials.rs └── streams ├── bench └── mod.rs └── mod.rs /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/README.md -------------------------------------------------------------------------------- /assets/evaluation_graphs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/evaluation_graphs.png -------------------------------------------------------------------------------- /assets/evaluation_graphs_inverted.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/evaluation_graphs_inverted.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/660384004_1290x1720-small-5876.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/660384004_1290x1720-small-5876.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/660384004_rotate_1964x1473-small-8049.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/660384004_rotate_1964x1473-small-8049.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/666699290_02_crop_3159x1892-small-7420.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/666699290_02_crop_3159x1892-small-7420.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/886640052_1858x1486-small-8023.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/886640052_1858x1486-small-8023.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/886640052_3195x2556-small-6274.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/886640052_3195x2556-small-6274.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/910457886_1434x1669-small-5644.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/910457886_1434x1669-small-5644.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/ETH-logo-cropped-9223.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/ETH-logo-cropped-9223.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/ETH-logo-cropped-small-9224.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/ETH-logo-cropped-small-9224.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-23 at 11.54-9364.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-23 at 11.54-9364.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-23 at 11.54.35-9363.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-23 at 11.54.35-9363.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-23 at 11.55-9374.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-23 at 11.55-9374.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-23 at 11.55.20-9369.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-23 at 11.55.20-9369.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-24 at 14.42-9585.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-24 at 14.42-9585.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-24 at 14.42.52-9584.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-04-24 at 14.42.52-9584.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-07 at 15.44-9932.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-07 at 15.44-9932.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-07 at 15.44.41-9931.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-07 at 15.44.41-9931.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 12.12-10988.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 12.12-10988.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 12.12.14-10987.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 12.12.14-10987.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 16.29-11185.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 16.29-11185.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 16.29.46-11184.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 16.29.46-11184.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 17.17-11557.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 17.17-11557.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 17.17.53-11556.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-20 at 17.17.53-11556.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 00.07-12205.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 00.07-12205.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 00.07.59-12204.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 00.07.59-12204.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 17.38-15211.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 17.38-15211.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 17.38.38-15210.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 17.38.38-15210.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 22.26-15891.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 22.26-15891.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 22.26.50-15890.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 22.26.50-15890.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 23.30-16346.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 23.30-16346.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 23.30.24-16345.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Screenshot 2024-05-22 at 23.30.24-16345.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Unknown-1-10942.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Unknown-1-10942.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Unknown-1-12104.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Unknown-1-12104.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Unknown-12062.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Unknown-12062.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Unknown-2-12169.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Unknown-2-12169.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Unknown-9191.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Unknown-9191.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/Unknown-small-9192.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/Unknown-small-9192.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/blankMoviePosterImage-8945.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/blankMoviePosterImage-8945.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-10262.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-10262.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-10752.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-10752.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11206.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11206.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11417.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11417.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11543.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11543.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11546.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11546.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11577.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11577.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11868.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11868.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11869.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11869.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11881.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11881.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11885.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11885.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11964.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11964.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11967.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11967.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11970.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11970.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11974.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11974.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-11977.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-11977.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13034.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13034.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13716.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13716.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13724.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13724.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13727.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13727.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13798.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13798.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13799.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13799.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13800.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13800.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13801.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13801.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13802.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13802.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-13803.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-13803.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14029.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14029.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14111.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14111.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14115.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14115.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14120.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14120.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14122.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14122.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14124.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14124.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14125.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14125.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14126.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14126.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14262.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14262.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14269.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14269.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14274.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14274.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14280.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14280.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14286.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14286.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14291.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14291.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14296.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14296.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14300.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14300.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14307.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14307.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14313.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14313.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14318.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14318.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14322.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14322.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14333.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14333.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14826.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14826.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14829.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14829.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14838.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14838.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14891.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14891.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-14948.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-14948.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15101.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15101.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15424.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15424.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15466.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15466.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15480.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15480.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15490.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15490.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15829.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15829.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15870.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15870.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15970.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15970.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15973.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15973.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15976.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15976.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15979.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15979.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-15982.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-15982.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/equation-16375.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/equation-16375.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/jolt_alpha-10776.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/jolt_alpha-10776.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/jolt_alpha-small-10777.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/jolt_alpha-small-10777.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/logo-10768.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/logo-10768.pdf -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/logo-10770.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/logo-10770.svg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/logo-small-10769.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/logo-small-10769.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/motionBackground-9127.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/motionBackground-9127.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/motionBackground-9129.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/motionBackground-9129.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/motionBackground-9131.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/motionBackground-9131.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/motionBackground-9162.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/motionBackground-9162.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-0A163428-3C27-4934-A543-05B4CDC09ADC-9074.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-0A163428-3C27-4934-A543-05B4CDC09ADC-9074.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-35A2BADC-15A3-4C4C-8FC4-BE3F43DB2C81-9070.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-35A2BADC-15A3-4C4C-8FC4-BE3F43DB2C81-9070.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-3EB832C5-F866-4C9D-9B43-B917B4357166-9060.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-3EB832C5-F866-4C9D-9B43-B917B4357166-9060.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-7BE0513C-8879-456F-B511-A0CC26927B57-9063.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-7BE0513C-8879-456F-B511-A0CC26927B57-9063.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-8B9472A3-507F-4EAA-B23C-57ED0017E82C-9066.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-8B9472A3-507F-4EAA-B23C-57ED0017E82C-9066.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-954192B3-17B8-4531-9939-E3C02C2EB699-9069.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-954192B3-17B8-4531-9939-E3C02C2EB699-9069.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-9C1B6E0A-5A9E-4928-A46A-8CB3B510ED5C-9065.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-9C1B6E0A-5A9E-4928-A46A-8CB3B510ED5C-9065.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-A41B5686-3819-4428-B0EB-B8B6DCAD2DCD-9064.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-A41B5686-3819-4428-B0EB-B8B6DCAD2DCD-9064.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-AC89624E-78DC-4691-A5A9-A440279F47BB-9075.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-AC89624E-78DC-4691-A5A9-A440279F47BB-9075.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-AFEA9A40-1CF1-4053-8EF9-1DC40696E1EF-9062.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-AFEA9A40-1CF1-4053-8EF9-1DC40696E1EF-9062.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-C3AE2756-5E57-4269-8F55-5E6EC3251637-9073.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-C3AE2756-5E57-4269-8F55-5E6EC3251637-9073.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-C639D131-2DD6-4BEB-A183-3E1C6CBFAE82-9061.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-C639D131-2DD6-4BEB-A183-3E1C6CBFAE82-9061.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-CD84CCE8-E47D-4F75-84AC-FC1AE5AAD519-9072.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-CD84CCE8-E47D-4F75-84AC-FC1AE5AAD519-9072.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-DD78EF7F-F4FC-4C37-B6DE-D2B10C766269-9059.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-DD78EF7F-F4FC-4C37-B6DE-D2B10C766269-9059.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-E2A8EBAA-0938-476D-BA41-F6E903ED9860-9071.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-E2A8EBAA-0938-476D-BA41-F6E903ED9860-9071.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/mt-EA58BDC8-361A-4BFA-8A2E-FF8B544937DC-9029.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/mt-EA58BDC8-361A-4BFA-8A2E-FF8B544937DC-9029.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-1-9583.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-1-9583.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-10-12629.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-10-12629.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-11-12260.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-11-12260.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-13-15972.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-13-15972.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-14-15114.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-14-15114.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-14-16373.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-14-16373.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-17-16448.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-17-16448.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-18-16452.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-18-16452.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-3-13880.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-3-13880.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-5-14123.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-5-14123.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-6-14222.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-6-14222.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-7-15572.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-7-15572.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/slide-9-12048.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/slide-9-12048.jpeg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/st-54EABEF0-7B1F-44A2-89EE-0D80E38C8CE5-9058.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/st-54EABEF0-7B1F-44A2-89EE-0D80E38C8CE5-9058.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/st-8DE85130-B139-4467-8EED-D6357DBBF0CD-9175.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/st-8DE85130-B139-4467-8EED-D6357DBBF0CD-9175.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/st-980ED644-6177-4F4A-9F65-EB078617F299-9301.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/st-980ED644-6177-4F4A-9F65-EB078617F299-9301.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/st-BAF5B669-C126-4AFA-9C3E-0F505278D23B-9303.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/st-BAF5B669-C126-4AFA-9C3E-0F505278D23B-9303.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/st-E19B6433-7DA5-4387-870D-F67B39966FCC-9306.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/st-E19B6433-7DA5-4387-870D-F67B39966FCC-9306.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Data/st-F1E88A99-4205-469D-83E7-CC1D6BC23F97-9297.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Data/st-F1E88A99-4205-469D-83E7-CC1D6BC23F97-9297.png -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Index.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Index.zip -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Metadata/BuildVersionHistory.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Metadata/BuildVersionHistory.plist -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Metadata/DocumentIdentifier: -------------------------------------------------------------------------------- 1 | A4D0AEDB-A3E2-428C-8CEC-2D3AF578E6BA -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/Metadata/Properties.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/Metadata/Properties.plist -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/preview-micro.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/preview-micro.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/preview-web.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/preview-web.jpg -------------------------------------------------------------------------------- /assets/talks/2024-May-22-zkproof.key/preview.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/assets/talks/2024-May-22-zkproof.key/preview.jpg -------------------------------------------------------------------------------- /benches/explanation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/explanation.rs -------------------------------------------------------------------------------- /benches/lag-poly-benches/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/lag-poly-benches/Cargo.lock -------------------------------------------------------------------------------- /benches/lag-poly-benches/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/lag-poly-benches/Cargo.toml -------------------------------------------------------------------------------- /benches/lag-poly-benches/run_benches.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/lag-poly-benches/run_benches.sh -------------------------------------------------------------------------------- /benches/provers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/provers.rs -------------------------------------------------------------------------------- /benches/sumcheck-benches/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/sumcheck-benches/Cargo.lock -------------------------------------------------------------------------------- /benches/sumcheck-benches/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/sumcheck-benches/Cargo.toml -------------------------------------------------------------------------------- /benches/sumcheck-benches/run_benches.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/sumcheck-benches/run_benches.sh -------------------------------------------------------------------------------- /benches/sumcheck-benches/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/sumcheck-benches/src/main.rs -------------------------------------------------------------------------------- /benches/sumcheck-benches/src/validation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/benches/sumcheck-benches/src/validation/mod.rs -------------------------------------------------------------------------------- /src/hypercube/hypercube.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/hypercube/hypercube.rs -------------------------------------------------------------------------------- /src/hypercube/hypercube_member.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/hypercube/hypercube_member.rs -------------------------------------------------------------------------------- /src/hypercube/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/hypercube/mod.rs -------------------------------------------------------------------------------- /src/interpolation/lagrange_polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/interpolation/lagrange_polynomial.rs -------------------------------------------------------------------------------- /src/interpolation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/interpolation/mod.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/messages/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/messages/mod.rs -------------------------------------------------------------------------------- /src/messages/verifier_messages.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/messages/verifier_messages.rs -------------------------------------------------------------------------------- /src/multilinear/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/mod.rs -------------------------------------------------------------------------------- /src/multilinear/provers/blendy/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/blendy/config.rs -------------------------------------------------------------------------------- /src/multilinear/provers/blendy/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/blendy/core.rs -------------------------------------------------------------------------------- /src/multilinear/provers/blendy/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/blendy/mod.rs -------------------------------------------------------------------------------- /src/multilinear/provers/blendy/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/blendy/prover.rs -------------------------------------------------------------------------------- /src/multilinear/provers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/mod.rs -------------------------------------------------------------------------------- /src/multilinear/provers/space/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/space/config.rs -------------------------------------------------------------------------------- /src/multilinear/provers/space/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/space/core.rs -------------------------------------------------------------------------------- /src/multilinear/provers/space/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/space/mod.rs -------------------------------------------------------------------------------- /src/multilinear/provers/space/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/space/prover.rs -------------------------------------------------------------------------------- /src/multilinear/provers/time/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/time/config.rs -------------------------------------------------------------------------------- /src/multilinear/provers/time/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/time/core.rs -------------------------------------------------------------------------------- /src/multilinear/provers/time/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/time/mod.rs -------------------------------------------------------------------------------- /src/multilinear/provers/time/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/time/prover.rs -------------------------------------------------------------------------------- /src/multilinear/provers/time/reductions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/time/reductions/mod.rs -------------------------------------------------------------------------------- /src/multilinear/provers/time/reductions/pairwise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/time/reductions/pairwise.rs -------------------------------------------------------------------------------- /src/multilinear/provers/time/reductions/tablewise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/time/reductions/tablewise.rs -------------------------------------------------------------------------------- /src/multilinear/provers/time/reductions/variablewise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/provers/time/reductions/variablewise.rs -------------------------------------------------------------------------------- /src/multilinear/sumcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear/sumcheck.rs -------------------------------------------------------------------------------- /src/multilinear_product/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/mod.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/blendy/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/blendy/config.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/blendy/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/blendy/core.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/blendy/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/blendy/mod.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/blendy/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/blendy/prover.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/mod.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/space/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/space/config.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/space/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/space/core.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/space/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/space/mod.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/space/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/space/prover.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/time/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/time/config.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/time/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/time/core.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/time/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/time/mod.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/time/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/time/prover.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/time/reductions/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/time/reductions/mod.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/time/reductions/pairwise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/time/reductions/pairwise.rs -------------------------------------------------------------------------------- /src/multilinear_product/provers/time/reductions/variablewise.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/provers/time/reductions/variablewise.rs -------------------------------------------------------------------------------- /src/multilinear_product/sumcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/multilinear_product/sumcheck.rs -------------------------------------------------------------------------------- /src/order_strategy/ascending/ascending.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/ascending/ascending.rs -------------------------------------------------------------------------------- /src/order_strategy/ascending/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/ascending/mod.rs -------------------------------------------------------------------------------- /src/order_strategy/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/core.rs -------------------------------------------------------------------------------- /src/order_strategy/descending/descending.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/descending/descending.rs -------------------------------------------------------------------------------- /src/order_strategy/descending/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/descending/mod.rs -------------------------------------------------------------------------------- /src/order_strategy/graycode/graycode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/graycode/graycode.rs -------------------------------------------------------------------------------- /src/order_strategy/graycode/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/graycode/mod.rs -------------------------------------------------------------------------------- /src/order_strategy/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/mod.rs -------------------------------------------------------------------------------- /src/order_strategy/msb/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/msb/mod.rs -------------------------------------------------------------------------------- /src/order_strategy/msb/msb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/order_strategy/msb/msb.rs -------------------------------------------------------------------------------- /src/prover/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/prover/core.rs -------------------------------------------------------------------------------- /src/prover/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/prover/mod.rs -------------------------------------------------------------------------------- /src/streams/file/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/streams/file/core.rs -------------------------------------------------------------------------------- /src/streams/file/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/streams/file/mod.rs -------------------------------------------------------------------------------- /src/streams/memory/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/streams/memory/core.rs -------------------------------------------------------------------------------- /src/streams/memory/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/streams/memory/mod.rs -------------------------------------------------------------------------------- /src/streams/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/streams/mod.rs -------------------------------------------------------------------------------- /src/streams/stream.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/streams/stream.rs -------------------------------------------------------------------------------- /src/streams/stream_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/streams/stream_iterator.rs -------------------------------------------------------------------------------- /src/tests/fields.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/fields.rs -------------------------------------------------------------------------------- /src/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/mod.rs -------------------------------------------------------------------------------- /src/tests/multilinear/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear/mod.rs -------------------------------------------------------------------------------- /src/tests/multilinear/provers/basic/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear/provers/basic/config.rs -------------------------------------------------------------------------------- /src/tests/multilinear/provers/basic/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear/provers/basic/core.rs -------------------------------------------------------------------------------- /src/tests/multilinear/provers/basic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear/provers/basic/mod.rs -------------------------------------------------------------------------------- /src/tests/multilinear/provers/basic/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear/provers/basic/prover.rs -------------------------------------------------------------------------------- /src/tests/multilinear/provers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear/provers/mod.rs -------------------------------------------------------------------------------- /src/tests/multilinear/sanity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear/sanity.rs -------------------------------------------------------------------------------- /src/tests/multilinear_product/consistency.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear_product/consistency.rs -------------------------------------------------------------------------------- /src/tests/multilinear_product/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear_product/mod.rs -------------------------------------------------------------------------------- /src/tests/multilinear_product/provers/basic/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear_product/provers/basic/config.rs -------------------------------------------------------------------------------- /src/tests/multilinear_product/provers/basic/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear_product/provers/basic/core.rs -------------------------------------------------------------------------------- /src/tests/multilinear_product/provers/basic/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear_product/provers/basic/mod.rs -------------------------------------------------------------------------------- /src/tests/multilinear_product/provers/basic/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear_product/provers/basic/prover.rs -------------------------------------------------------------------------------- /src/tests/multilinear_product/provers/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod basic; 2 | -------------------------------------------------------------------------------- /src/tests/multilinear_product/sanity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/multilinear_product/sanity.rs -------------------------------------------------------------------------------- /src/tests/polynomials.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/polynomials.rs -------------------------------------------------------------------------------- /src/tests/streams/bench/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/streams/bench/mod.rs -------------------------------------------------------------------------------- /src/tests/streams/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/compsec-epfl/efficient-sumcheck/HEAD/src/tests/streams/mod.rs --------------------------------------------------------------------------------