saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-04 20:03:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Pasta curves (Pallas/Vesta) — formal verification source
418 commits 1 branch 0 tags 1.7 MiB
Rust 98.5%
Shell 0.8%
HTML 0.6%
Makefile 0.1%
Find a file
Daira Hopwood cda768aa00 Improvements to background section: 
* describe groups in general, rather than via the example of F_p^*
* explain the isomorphism between group elements and scalars, and how it is useful
* corrections and pedantry :-)

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-01-30 01:43:24 +00:00
.github/workflows Use mdbook 0.4.5 2021-01-09 02:37:05 +00:00
benches Require Rotation instead of i32 for relative rows in circuits. 2021-01-14 11:57:32 -07:00
book Improvements to background section: 2021-01-30 01:43:24 +00:00
examples Require Rotation instead of i32 for relative rows in circuits. 2021-01-14 11:57:32 -07:00
src Merge pull request #120 from daira/sqrt_ratio 2021-01-24 07:58:14 +13:00
.gitignore Add book/Makefile for local HTML generation. 2020-12-26 15:33:59 +00:00
Cargo.toml Add sqrt_ratio implementation. 2021-01-14 02:34:43 +00:00
CHANGELOG.md Initialize the changelog 2021-01-22 23:54:31 +00: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

README.md

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.