Pasta curves (Pallas/Vesta) — formal verification source
Find a file
ying tong 15682bf16f Make init_with_hashers() internal to transcript crate
Co-authored-by: Jack Grigg <jack@electriccoin.co>
2020-11-16 21:28:37 +00:00
.github/workflows Update Actions CI with improved workflow 2020-10-30 00:45:07 +00:00
benches Move curves and fields into tweedle module 2020-11-12 21:36:59 +00:00
src Make init_with_hashers() internal to transcript crate 2020-11-16 21:28:37 +00:00
.gitignore Add .vscode to .gitignore. 2020-09-06 11:33:47 -06:00
Cargo.toml Update authors in Cargo.toml 2020-11-07 14:27:46 +08:00
CHANGELOG.md Initial commit 2020-08-22 14:15:39 -06:00
Contributor_Agreement Correct numbering and add missing sections 2020-10-25 09:42:25 -07:00
COPYING Initial commit 2020-08-22 14:15:39 -06:00
katex-header.html Initial commit 2020-08-22 14:15:39 -06:00
LICENSE-TGPPL Initial commit 2020-08-22 14:15:39 -06:00
README.md Initial commit 2020-08-22 14:15:39 -06:00

halo2 Crates.io

IMPORTANT: This library is being actively developed and should not be used in production software.

Documentation

License

Copyright 2020 The Electric Coin Company.

You may use this package under the Transitive Grace Period Public Licence, version 1.0, or at your option, any later version. See the file LICENSE-TGPPL for the terms of the Transitive Grace Period Public Licence, version 1.0.

The purpose of the TGPPL is to allow commercial improvements to the package while ensuring that all improvements are eventually open source. See here for why the TGPPL exists, graphically illustrated on three slides.