mirror of https://github.com/zcash/halo2.git
Compare commits
4 Commits
45f3d57c0c
...
4d65b47852
Author | SHA1 | Date |
---|---|---|
zhiqiangxu | 4d65b47852 | |
Daira-Emma Hopwood | 7df93fd855 | |
adria0 | daaa638966 | |
zhiqiangxu | ba69850d4e |
|
@ -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:
|
||||||
|
|
|
@ -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]
|
||||||
|
|
|
@ -128,7 +128,7 @@ impl Argument {
|
||||||
Any::Instance => instance,
|
Any::Instance => instance,
|
||||||
};
|
};
|
||||||
parallelize(&mut modified_values, |modified_values, start| {
|
parallelize(&mut modified_values, |modified_values, start| {
|
||||||
let mut deltaomega = deltaomega * &omega.pow_vartime([start as u64, 0, 0, 0]);
|
let mut deltaomega = deltaomega * &omega.pow_vartime([start as u64]);
|
||||||
for (modified_values, value) in modified_values
|
for (modified_values, value) in modified_values
|
||||||
.iter_mut()
|
.iter_mut()
|
||||||
.zip(values[column.index()][start..].iter())
|
.zip(values[column.index()][start..].iter())
|
||||||
|
|
|
@ -80,7 +80,7 @@ impl<C: CurveAffine> Params<C> {
|
||||||
}
|
}
|
||||||
let mut g_lagrange_projective = g_projective;
|
let mut g_lagrange_projective = g_projective;
|
||||||
best_fft(&mut g_lagrange_projective, alpha_inv, k);
|
best_fft(&mut g_lagrange_projective, alpha_inv, k);
|
||||||
let minv = C::Scalar::TWO_INV.pow_vartime([k as u64, 0, 0, 0]);
|
let minv = C::Scalar::TWO_INV.pow_vartime([k as u64]);
|
||||||
parallelize(&mut g_lagrange_projective, |g, _| {
|
parallelize(&mut g_lagrange_projective, |g, _| {
|
||||||
for g in g.iter_mut() {
|
for g in g.iter_mut() {
|
||||||
*g *= minv;
|
*g *= minv;
|
||||||
|
|
|
@ -86,8 +86,8 @@ impl<F: WithSmallOrderMulGroup<3>> EvaluationDomain<F> {
|
||||||
{
|
{
|
||||||
// Compute the evaluations of t(X) = X^n - 1 in the coset evaluation domain.
|
// Compute the evaluations of t(X) = X^n - 1 in the coset evaluation domain.
|
||||||
// We don't have to compute all of them, because it will repeat.
|
// We don't have to compute all of them, because it will repeat.
|
||||||
let orig = F::ZETA.pow_vartime([n, 0, 0, 0]);
|
let orig = F::ZETA.pow_vartime([n]);
|
||||||
let step = extended_omega.pow_vartime([n, 0, 0, 0]);
|
let step = extended_omega.pow_vartime([n]);
|
||||||
let mut cur = orig;
|
let mut cur = orig;
|
||||||
loop {
|
loop {
|
||||||
t_evaluations.push(cur);
|
t_evaluations.push(cur);
|
||||||
|
|
Loading…
Reference in New Issue