ark-starkcurve 0.6.0

Stark friendly elliptic curve defined over 2^251 + 17 * 2^192 + 1
Documentation
1
2
3
4
5
6
7
8
9
10
11
use ark_r1cs_std::groups::curves::short_weierstrass::ProjectiveVar;

use crate::{constraints::FBaseVar, *};

/// A group element in the StarkCurve prime-order group.
pub type GVar = ProjectiveVar<StarkCurveConfig, FBaseVar>;

#[test]
fn test() {
    ark_curve_constraint_tests::curves::sw_test::<StarkCurveConfig, GVar>().unwrap();
}