dragoonfri 0.1.0

Fast Reed-solomon Interactive oracle proof of proximity
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

use ark_ff::{FftField, UniformRand};
use rand::thread_rng;

use dragoonfri::{
    algorithms::Sha3_512, build_proof, commit_polynomial, rng::FriChallenger,
    utils::to_evaluations, FriProof,
};
use dragoonfri_test_utils::Fq;

use rs_merkle::Hasher;

struct Params {
    nb_coeffs: usize,
    blowup_factor: usize,
    remainder_plus_one: usize,
    nb_queries: usize,
    domain_size: usize,
}

fn run_manual<const N: usize, F: FftField, H: Hasher>(poly: Vec<F>, params: &Params)
where
    <H as rs_merkle::Hasher>::Hash: AsRef<[u8]>,
{
    let mut challenge = FriChallenger::<H>::default();
    let commitments = commit_polynomial::<N, F, H, _>(
        poly,
        &mut challenge,
        params.blowup_factor,
        params.remainder_plus_one,
    );
    let proof = build_proof(commitments, challenge, params.nb_queries);

    let challenge = FriChallenger::<H>::default();
    let () = proof
        .verify::<N, _>(
            challenge,
            params.nb_queries,
            params.nb_coeffs,
            params.domain_size,
        )
        .unwrap();
}

fn run_simple<const N: usize, F: FftField, H: Hasher>(poly: Vec<F>, params: &Params)
where
    <H as rs_merkle::Hasher>::Hash: AsRef<[u8]>,
{
    let proof = FriProof::<F, H>::prove::<N, _>(
        to_evaluations(poly, params.domain_size),
        FriChallenger::<H>::default(),
        params.blowup_factor,
        params.remainder_plus_one,
        params.nb_queries,
    );

    let challenge = FriChallenger::<H>::default();
    let () = proof
        .verify::<N, _>(
            challenge,
            params.nb_queries,
            params.nb_coeffs,
            params.domain_size,
        )
        .unwrap();
}

fn main() {
    let params = Params {
        nb_coeffs: 4096,
        blowup_factor: 4,
        domain_size: 4096 * 4,
        remainder_plus_one: 1,
        nb_queries: 32,
    };

    let mut rng = thread_rng();
    let poly: Vec<Fq> = (0..params.nb_coeffs).map(|_| Fq::rand(&mut rng)).collect();

    run_manual::<4, Fq, Sha3_512>(poly.clone(), &params);
    run_simple::<4, Fq, Sha3_512>(poly.clone(), &params);
}