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::fields::fp::FpVar;

use crate::fq::Fq;

/// A variable that is the R1CS equivalent of `crate::Fq`.
pub type FBaseVar = FpVar<Fq>;

#[test]
fn test() {
    ark_curve_constraint_tests::fields::field_test::<_, _, FBaseVar>().unwrap();
}