Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
dev
branch
ambrona@cost_model
ambrona@pk
ambrona@pk-wip
ambrona@smaller-vk
ambrona@tight-k
ambrona@tight-k-for-lookups
ambrona@write-pk
backup_dev
dev
fixed_v2023_04_20
fixed_73408a1
gwc19_kzg
iquerejeta/batch-verify
iquerejeta/bridge_circuits
iquerejeta/cost_options
iquerejeta/in-circuit-verification
iquerejeta/midnight-requirements
iquerejeta/minor_changes
iquerejeta/minor_update
iquerejeta/parallel-iters
iquerejeta/pk-size-fix
iquerejeta/pruning
iquerejeta/remove_selectors
main
plutus_verification
tkerber/downsize-verifier-params
tag
v2023_04_20
v2023_02_02
v2023_01_20
v2023_01_17
v2022_10_22
v2022_09_10
v2022_08_19
v2022_08_09
v2022_06_03
v2022_05_09
v2022_05_06
v2022_05_03
v2022_03_06
v2022_02_23
halo2_proofs-0.2.0
halo2_proofs-0.1.0
halo2_gadgets-0.2.0
halo2_gadgets-0.1.0
halo2
Name
input-output-hk's repositories
.github
benches
examples
proptest-regressions
src
tests
.gitignore
CHANGELOG.md
COPYING.md
Cargo.toml
LICENSE-APACHE
LICENSE-MIT
README.md
rust-toolchain