mirror of https://github.com/zcash/halo2.git
Compare commits
12 Commits
cd027c72fd
...
7eaef8353f
Author | SHA1 | Date |
---|---|---|
Yao J. Galteland | 7eaef8353f | |
YaoGalteland | c7914183b0 | |
YaoGalteland | 7c953303cc | |
YaoGalteland | 9c647a2eec | |
Daira-Emma Hopwood | 7df93fd855 | |
adria0 | daaa638966 | |
Daira-Emma Hopwood | 81729eca91 | |
Daira-Emma Hopwood | 4a8e640afd | |
Daira Emma Hopwood | ae52332c77 | |
Daira Emma Hopwood | 2e617ae1da | |
Daira Emma Hopwood | de1d237013 | |
Daira Emma Hopwood | 3eb4ec5c19 |
|
@ -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,5 +4,5 @@
|
||||||
**/.*.swp
|
**/.*.swp
|
||||||
**/*.rs.bk
|
**/*.rs.bk
|
||||||
.vscode
|
.vscode
|
||||||
**/*.html
|
|
||||||
.DS_Store
|
.DS_Store
|
||||||
|
/book/book
|
||||||
|
|
|
@ -1,6 +1,9 @@
|
||||||
# halo2 [![Crates.io](https://img.shields.io/crates/v/halo2.svg)](https://crates.io/crates/halo2) #
|
# halo2
|
||||||
|
|
||||||
## [Documentation](https://docs.rs/halo2)
|
## Usage
|
||||||
|
|
||||||
|
This repository contains the [halo2_proofs](halo2_proofs/README.md) and
|
||||||
|
[halo2_gadgets](halo2_gadgets/README.md) crates, which should be used directly.
|
||||||
|
|
||||||
## Minimum Supported Rust Version
|
## Minimum Supported Rust Version
|
||||||
|
|
||||||
|
|
|
@ -1,10 +0,0 @@
|
||||||
.PHONY: all
|
|
||||||
all:
|
|
||||||
find src -type f -a -name '*.md' |sed 's/[.]md$$/.html/g' |xargs $(MAKE)
|
|
||||||
|
|
||||||
clean:
|
|
||||||
find src -type f -a -name '*.html' -print0 |xargs -0 rm
|
|
||||||
|
|
||||||
%.html: %.md
|
|
||||||
pandoc --katex --from=markdown --to=html "$<" "--output=$@"
|
|
||||||
./edithtml.sh "$@" "$<"
|
|
|
@ -2,7 +2,7 @@
|
||||||
authors = [
|
authors = [
|
||||||
"Jack Grigg",
|
"Jack Grigg",
|
||||||
"Sean Bowe",
|
"Sean Bowe",
|
||||||
"Daira Hopwood",
|
"Daira Emma Hopwood",
|
||||||
"Ying Tong Lai",
|
"Ying Tong Lai",
|
||||||
]
|
]
|
||||||
language = "en"
|
language = "en"
|
||||||
|
@ -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]
|
||||||
|
|
|
@ -1,28 +0,0 @@
|
||||||
#!/bin/sh
|
|
||||||
|
|
||||||
cat - "$1" > "$1.prefix" <<EOF
|
|
||||||
<!DOCTYPE html>
|
|
||||||
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="">
|
|
||||||
<head>
|
|
||||||
<meta charset="utf-8" />
|
|
||||||
<meta name="generator" content="pandoc" />
|
|
||||||
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
|
|
||||||
<title>$2</title>
|
|
||||||
<style type="text/css">
|
|
||||||
code{white-space: pre-wrap;}
|
|
||||||
span.smallcaps{font-variant: small-caps;}
|
|
||||||
span.underline{text-decoration: underline;}
|
|
||||||
div.column{display: inline-block; vertical-align: top; width: 50%;}
|
|
||||||
</style>
|
|
||||||
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.css" integrity="sha384-yFRtMMDnQtDRO8rLpMIKrtPCD5jdktao2TV19YiZYWMDkUR5GQZR/NOVTdquEx1j" crossorigin="anonymous">
|
|
||||||
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/katex.min.js" integrity="sha384-9Nhn55MVVN0/4OFx7EE5kpFBPsEMZxKTCnA+4fqDmg12eCTqGi6+BB2LjY8brQxJ" crossorigin="anonymous"></script>
|
|
||||||
<script defer src="https://cdn.jsdelivr.net/npm/katex@0.10.2/dist/contrib/auto-render.min.js" integrity="sha384-kWPLUVMOks5AQFrykwIup5lo0m3iMkkHrD0uJ4H5cjeGihAutqP0yW0J6dpFiVkI" crossorigin="anonymous"
|
|
||||||
onload="renderMathInElement(document.body);"></script>
|
|
||||||
</head>
|
|
||||||
<body>
|
|
||||||
EOF
|
|
||||||
cat "$1.prefix" - >"$1" <<EOF
|
|
||||||
</body>
|
|
||||||
</html>
|
|
||||||
EOF
|
|
||||||
rm -f "$1.prefix"
|
|
|
@ -4,7 +4,7 @@ version = "0.3.0"
|
||||||
authors = [
|
authors = [
|
||||||
"Sean Bowe <sean@electriccoin.co>",
|
"Sean Bowe <sean@electriccoin.co>",
|
||||||
"Jack Grigg <jack@electriccoin.co>",
|
"Jack Grigg <jack@electriccoin.co>",
|
||||||
"Daira Hopwood <daira@jacaranda.org>",
|
"Daira Emma Hopwood <daira@jacaranda.org>",
|
||||||
"Ying Tong Lai <yingtong@electriccoin.co>",
|
"Ying Tong Lai <yingtong@electriccoin.co>",
|
||||||
"Kris Nuttycombe <kris@electriccoin.co>",
|
"Kris Nuttycombe <kris@electriccoin.co>",
|
||||||
]
|
]
|
||||||
|
|
|
@ -186,10 +186,10 @@ impl<F: PrimeFieldBits, const K: usize> LookupRangeCheckConfig<F, K> {
|
||||||
config
|
config
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(feature = "verifiable-encryption")]
|
#[cfg(any(test, feature = "verifiable-encryption"))]
|
||||||
// Fill `table_idx` and `table_range_check_tag`.
|
/// Fill `table_idx` and `table_range_check_tag`.
|
||||||
// This is only used in testing for now, since the Sinsemilla chip provides a pre-loaded table
|
/// This is only used in testing for now, since the Sinsemilla chip provides a pre-loaded table
|
||||||
// in the Orchard context.
|
/// in the Orchard context.
|
||||||
pub fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
|
pub fn load(&self, layouter: &mut impl Layouter<F>) -> Result<(), Error> {
|
||||||
layouter.assign_table(
|
layouter.assign_table(
|
||||||
|| "table_idx",
|
|| "table_idx",
|
||||||
|
|
|
@ -4,7 +4,7 @@ version = "0.3.0"
|
||||||
authors = [
|
authors = [
|
||||||
"Sean Bowe <sean@electriccoin.co>",
|
"Sean Bowe <sean@electriccoin.co>",
|
||||||
"Ying Tong Lai <yingtong@electriccoin.co>",
|
"Ying Tong Lai <yingtong@electriccoin.co>",
|
||||||
"Daira Hopwood <daira@electriccoin.co>",
|
"Daira Emma Hopwood <daira@jacaranda.org>",
|
||||||
"Jack Grigg <jack@electriccoin.co>",
|
"Jack Grigg <jack@electriccoin.co>",
|
||||||
]
|
]
|
||||||
edition = "2021"
|
edition = "2021"
|
||||||
|
|
Loading…
Reference in New Issue