mirror of
https://github.com/saymrwulf/pasta_curves-source.git
synced 2026-09-04 20:03:39 +00:00
46 lines
1.8 KiB
Markdown
46 lines
1.8 KiB
Markdown
# `pasta_curves`
|
||
|
||
This crate provides an implementation of the Pasta elliptic curve constructions,
|
||
Pallas and Vesta. More details about the Pasta curves can be found
|
||
[in this blog post](https://electriccoin.co/blog/the-pasta-curves-for-halo-2-and-beyond/).
|
||
|
||
## [Documentation](https://docs.rs/pasta_curves)
|
||
|
||
## Minimum Supported Rust Version
|
||
|
||
Requires Rust **1.51** or higher.
|
||
|
||
Minimum supported Rust version can be changed in the future, but it will be done with a
|
||
minor version bump.
|
||
|
||
## Curve Descriptions
|
||
|
||
- Pallas: y<sup>2</sup> = x<sup>3</sup> + 5 over
|
||
`GF(0x40000000000000000000000000000000224698fc094cf91b992d30ed00000001)`.
|
||
|
||
- Vesta: y<sup>2</sup> = x<sup>3</sup> + 5 over
|
||
`GF(0x40000000000000000000000000000000224698fc0994a8dd8c46eb2100000001)`.
|
||
|
||
The Pasta curves form a cycle with one another: the order of each curve is exactly the
|
||
base field of the other. This property is critical to the efficiency of recursive proof
|
||
systems. They are designed to be highly 2-adic, meaning that a large power-of-two
|
||
multiplicative subgroup exists in each field. This is important for the performance of
|
||
polynomial arithmetic over their scalar fields and is essential for protocols similar
|
||
to PLONK.
|
||
|
||
These curves can be reproducibly obtained
|
||
[using a curve search utility we’ve published](https://github.com/zcash/pasta).
|
||
|
||
## License
|
||
|
||
Copyright 2020 The Electric Coin Company.
|
||
|
||
You may use this package under the Bootstrap Open Source Licence, version 1.0,
|
||
or at your option, any later version. See the file
|
||
[`LICENSE-BOSL`](LICENSE-BOSL) for the terms of the Bootstrap Open Source
|
||
Licence, version 1.0.
|
||
|
||
The purpose of the BOSL is to allow commercial improvements to the package
|
||
while ensuring that all improvements are open source. See
|
||
[here](https://electriccoin.co/blog/introducing-tgppl-a-radically-new-type-of-open-source-license/)
|
||
for why the BOSL exists.
|