https://github.com/arkworks-rs/ldt
An `arkworks` library for low-degree testing
https://github.com/arkworks-rs/ldt
cryptography fast-fourier-transform low-degree-testing rust
Last synced: about 1 year ago
JSON representation
An `arkworks` library for low-degree testing
- Host: GitHub
- URL: https://github.com/arkworks-rs/ldt
- Owner: arkworks-rs
- License: apache-2.0
- Created: 2021-05-04T06:21:43.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2024-09-10T12:49:04.000Z (almost 2 years ago)
- Last Synced: 2025-06-07T08:04:46.479Z (about 1 year ago)
- Topics: cryptography, fast-fourier-transform, low-degree-testing, rust
- Language: Rust
- Homepage:
- Size: 231 KB
- Stars: 23
- Watchers: 6
- Forks: 4
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE-APACHE
- Security: SECURITY.md
Awesome Lists containing this project
README
arkworks::ldt
`ark-ldt` is a Rust library that provides implementations of low-degree tests (LDTs). This library is released under the MIT License
and the Apache v2 License (see [License](#license)).
**WARNING:** This is an academic prototype, and in particular has not received careful code review.
This implementation is NOT ready for production use.
## Overview
A (univariate) low-degree test is an IOP that checks that a given function is close to a (univariate) polynomial of low degree. This library provides two LDTs: the **direct low-degree test** and the **FRI Protocol**. The library also comes with R1CS constraints for the LDT verifiers. Enable `r1cs` feature to use those constraints.
## Build Guide
The library compiles on the `stable` toolchain of the Rust compiler. To install the latest version
of Rust, first install `rustup` by following the instructions [here](https://rustup.rs/), or via
your platform's package manager. Once `rustup` is installed, install the Rust toolchain by invoking:
```bash
rustup install stable
```
After that, use `cargo` (the standard Rust build tool) to build the library:
```bash
git clone https://github.com/arkworks-rs/ldt.git
cd ldt
cargo build --release
```
This library comes with some unit and integration tests. Run these tests with:
```bash
cargo test
```
To use this library, you need to add the following to your `Cargo.toml`. Note that this configuration will bump `ark-sponge` and `ark-r1cs-std` to `master`/`main` instead of stable version on `crates.io`.
```toml
[dependencies]
ark-ldt = {git = "https://github.com/arkworks-rs/ldt", branch="main", default-features = false}
[patch.crates-io]
ark-sponge = {git = "https://github.com/arkworks-rs/sponge"}
ark-r1cs-std = {git = "https://github.com/arkworks-rs/r1cs-std", branch = "master"}
```
## License
This library is licensed under either of the following licenses, at your discretion.
* [Apache License Version 2.0](LICENSE-APACHE)
* [MIT License](LICENSE-MIT)
Unless you explicitly state otherwise, any contribution that you submit to this library shall be
dual licensed as above (as defined in the Apache v2 License), without any additional terms or
conditions.
## Reference papers
[Fractal: Post-Quantum and Transparent Recursive Proofs from Holography][cos20]
Alessandro Chiesa, Dev Ojha, Nicholas Spooner
[Fast Reed-Solomon Interactive Oracle Proofs of Proximity][bbhr17]
Eli Ben-Sasson, Iddo Bentov, Ynon Horesh, Michael Riabzev
[cos20]: https://eprint.iacr.org/2019/1076
[bbhr17]: https://eccc.weizmann.ac.il/report/2017/134/