mirror of https://github.com/zcash/halo2.git
Compare commits
4 Commits
a9e987918d
...
2ce8e263ef
Author | SHA1 | Date |
---|---|---|
str4d | 2ce8e263ef | |
Daira-Emma Hopwood | 7df93fd855 | |
adria0 | daaa638966 | |
Jack Grigg | 2474bdb4f6 |
|
@ -12,7 +12,7 @@ jobs:
|
||||||
- uses: actions/checkout@v3
|
- uses: actions/checkout@v3
|
||||||
- uses: actions-rs/toolchain@v1
|
- uses: actions-rs/toolchain@v1
|
||||||
with:
|
with:
|
||||||
toolchain: nightly
|
toolchain: '1.76.0'
|
||||||
override: true
|
override: true
|
||||||
|
|
||||||
# - name: Setup mdBook
|
# - name: Setup mdBook
|
||||||
|
@ -26,7 +26,7 @@ jobs:
|
||||||
uses: actions-rs/cargo@v1
|
uses: actions-rs/cargo@v1
|
||||||
with:
|
with:
|
||||||
command: install
|
command: install
|
||||||
args: mdbook --git https://github.com/HollowMan6/mdBook.git --rev 62e01b34c23b957579c04ee1b24b57814ed8a4d5
|
args: mdbook --git https://github.com/HollowMan6/mdBook.git --rev 5830c9555a4dc051675d17f1fcb04dd0920543e8
|
||||||
|
|
||||||
- name: Install mdbook-katex and mdbook-pdf
|
- name: Install mdbook-katex and mdbook-pdf
|
||||||
uses: actions-rs/cargo@v1
|
uses: actions-rs/cargo@v1
|
||||||
|
@ -40,6 +40,11 @@ jobs:
|
||||||
- name: Build halo2 book
|
- name: Build halo2 book
|
||||||
run: mdbook build book/
|
run: mdbook build book/
|
||||||
|
|
||||||
|
- uses: actions-rs/toolchain@v1
|
||||||
|
with:
|
||||||
|
toolchain: nightly-2023-10-05
|
||||||
|
override: true
|
||||||
|
|
||||||
- name: Build latest rustdocs
|
- name: Build latest rustdocs
|
||||||
uses: actions-rs/cargo@v1
|
uses: actions-rs/cargo@v1
|
||||||
with:
|
with:
|
||||||
|
|
|
@ -4,3 +4,7 @@ members = [
|
||||||
"halo2_gadgets",
|
"halo2_gadgets",
|
||||||
"halo2_proofs",
|
"halo2_proofs",
|
||||||
]
|
]
|
||||||
|
|
||||||
|
[patch.crates-io]
|
||||||
|
group = { git = "https://github.com/zkcrypto/group.git", rev = "696c2128529b5a9e18eed46d1da531753695db04" }
|
||||||
|
pasta_curves = { git = "https://github.com/zcash/pasta_curves.git", rev = "fb643a4e5ea25e035af758595f903b4002b0b7a3" }
|
||||||
|
|
|
@ -14,8 +14,6 @@ title = "The halo2 Book"
|
||||||
macros = "macros.txt"
|
macros = "macros.txt"
|
||||||
renderers = ["html"]
|
renderers = ["html"]
|
||||||
|
|
||||||
[output.katex]
|
|
||||||
|
|
||||||
[output.html]
|
[output.html]
|
||||||
|
|
||||||
[output.html.print]
|
[output.html.print]
|
||||||
|
|
|
@ -578,7 +578,7 @@ impl<C: CurveAffine, EccChip: EccInstructions<C>> FixedPointShort<C, EccChip> {
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
pub(crate) mod tests {
|
pub(crate) mod tests {
|
||||||
use ff::PrimeField;
|
use ff::PrimeField;
|
||||||
use group::{prime::PrimeCurveAffine, Curve, Group};
|
use group::{Curve, CurveAffine, Group};
|
||||||
|
|
||||||
use halo2_proofs::{
|
use halo2_proofs::{
|
||||||
circuit::{Layouter, SimpleFloorPlanner, Value},
|
circuit::{Layouter, SimpleFloorPlanner, Value},
|
||||||
|
|
|
@ -8,7 +8,7 @@ use crate::{
|
||||||
use arrayvec::ArrayVec;
|
use arrayvec::ArrayVec;
|
||||||
|
|
||||||
use ff::PrimeField;
|
use ff::PrimeField;
|
||||||
use group::prime::PrimeCurveAffine;
|
use group::CurveAffine as _;
|
||||||
use halo2_proofs::{
|
use halo2_proofs::{
|
||||||
circuit::{AssignedCell, Chip, Layouter, Value},
|
circuit::{AssignedCell, Chip, Layouter, Value},
|
||||||
plonk::{Advice, Assigned, Column, ConstraintSystem, Error, Fixed},
|
plonk::{Advice, Assigned, Column, ConstraintSystem, Error, Fixed},
|
||||||
|
|
|
@ -325,7 +325,7 @@ impl Config {
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
pub mod tests {
|
pub mod tests {
|
||||||
use group::{prime::PrimeCurveAffine, Curve};
|
use group::{Curve, CurveAffine};
|
||||||
use halo2_proofs::{
|
use halo2_proofs::{
|
||||||
circuit::{Layouter, Value},
|
circuit::{Layouter, Value},
|
||||||
plonk::Error,
|
plonk::Error,
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
use super::{EccPoint, NonIdentityEccPoint};
|
use super::{EccPoint, NonIdentityEccPoint};
|
||||||
|
|
||||||
use group::prime::PrimeCurveAffine;
|
use group::CurveAffine as _;
|
||||||
|
|
||||||
use halo2_proofs::{
|
use halo2_proofs::{
|
||||||
circuit::{AssignedCell, Region, Value},
|
circuit::{AssignedCell, Region, Value},
|
||||||
|
|
|
@ -127,7 +127,7 @@ where
|
||||||
{
|
{
|
||||||
use crate::sinsemilla::primitives::{K, S_PERSONALIZATION};
|
use crate::sinsemilla::primitives::{K, S_PERSONALIZATION};
|
||||||
|
|
||||||
use group::{prime::PrimeCurveAffine, Curve};
|
use group::{Curve, CurveAffine};
|
||||||
use pasta_curves::arithmetic::CurveExt;
|
use pasta_curves::arithmetic::CurveExt;
|
||||||
|
|
||||||
let field_elems: Value<Vec<_>> = message
|
let field_elems: Value<Vec<_>> = message
|
||||||
|
|
|
@ -1,6 +1,6 @@
|
||||||
use std::ops::Add;
|
use std::ops::Add;
|
||||||
|
|
||||||
use group::{cofactor::CofactorCurveAffine, Group};
|
use group::{CurveAffine, Group};
|
||||||
use pasta_curves::pallas;
|
use pasta_curves::pallas;
|
||||||
use subtle::{ConstantTimeEq, CtOption};
|
use subtle::{ConstantTimeEq, CtOption};
|
||||||
|
|
||||||
|
|
|
@ -8,7 +8,7 @@ use crate::arithmetic::{best_fft, best_multiexp, parallelize, CurveAffine, Curve
|
||||||
use crate::helpers::CurveRead;
|
use crate::helpers::CurveRead;
|
||||||
|
|
||||||
use ff::{Field, PrimeField};
|
use ff::{Field, PrimeField};
|
||||||
use group::{prime::PrimeCurveAffine, Curve, Group};
|
use group::{Curve, Group};
|
||||||
use std::ops::{Add, AddAssign, Mul, MulAssign};
|
use std::ops::{Add, AddAssign, Mul, MulAssign};
|
||||||
|
|
||||||
mod msm;
|
mod msm;
|
||||||
|
@ -74,7 +74,7 @@ impl<C: CurveAffine> Params<C> {
|
||||||
|
|
||||||
// Let's evaluate all of the Lagrange basis polynomials
|
// Let's evaluate all of the Lagrange basis polynomials
|
||||||
// using an inverse FFT.
|
// using an inverse FFT.
|
||||||
let mut alpha_inv = <<C as PrimeCurveAffine>::Curve as Group>::Scalar::ROOT_OF_UNITY_INV;
|
let mut alpha_inv = <C::Curve as Group>::Scalar::ROOT_OF_UNITY_INV;
|
||||||
for _ in k..C::Scalar::S {
|
for _ in k..C::Scalar::S {
|
||||||
alpha_inv = alpha_inv.square();
|
alpha_inv = alpha_inv.square();
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue