https://github.com/arkworks-rs/ldt
An `arkworks` library for low-degree testing
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (15.8%) to scientific vocabulary
Keywords
Repository
An `arkworks` library for low-degree testing
Basic Info
Statistics
- Stars: 23
- Watchers: 6
- Forks: 4
- Open Issues: 2
- Releases: 0
Topics
Metadata Files
README.md
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).
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, 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.
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
Alessandro Chiesa, Dev Ojha, Nicholas Spooner
Fast Reed-Solomon Interactive Oracle Proofs of Proximity
Eli Ben-Sasson, Iddo Bentov, Ynon Horesh, Michael Riabzev
Owner
- Name: arkworks
- Login: arkworks-rs
- Kind: organization
- Website: arkworks.rs
- Twitter: arkworks_rs
- Repositories: 25
- Profile: https://github.com/arkworks-rs
An ecosystem for developing and programming with zkSNARKs
GitHub Events
Total
- Watch event: 2
- Member event: 1
Last Year
- Watch event: 2
- Member event: 1
Issues and Pull Requests
Last synced: 9 months ago
All Time
- Total issues: 4
- Total pull requests: 9
- Average time to close issues: 25 days
- Average time to close pull requests: 3 months
- Total issue authors: 2
- Total pull request authors: 4
- Average comments per issue: 0.75
- Average comments per pull request: 1.11
- Merged pull requests: 5
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 1
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 1
- Average comments per issue: 0
- Average comments per pull request: 2.0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- tsunrise (3)
- z-tech (1)
Pull Request Authors
- z-tech (6)
- tsunrise (4)
- ValarDragon (2)
- weikengchen (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- ark-test-curves ^0.3.0 development
- ark-ff ^0.3.0
- ark-poly 0.3.0
- ark-r1cs-std ^0.3.0
- ark-relations ^0.3.0
- ark-sponge ^0.3.0
- ark-std ^0.3.0
- tracing 0.1
- actions-rs/cargo v1 composite
- actions-rs/toolchain v1 composite
- actions/cache v2 composite
- actions/checkout v2 composite
- actions/checkout v1 composite
- actions/checkout v2 composite