barretenberg-sys 0.1.2

FFI bindings to Barretenberg
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
82
83
84
85

use crate::*;

/// # Safety
pub unsafe fn get_solidity_verifier(
    g2_ptr: &[u8],
    vk_ptr: &[u8],
    output_buf: *mut *mut u8,
) -> usize {
    acir_proofs_get_solidity_verifier(
        g2_ptr.as_ptr() as *const u8,
        vk_ptr.as_ptr() as *const u8,
        output_buf,
    )
}

/// # Safety
/// cs_prt must point to a valid constraints system structure of type standard_format
pub unsafe fn get_exact_circuit_size(cs_prt: *const u8) -> u32 {
    acir_proofs_get_exact_circuit_size(cs_prt)
}

/// # Safety
/// cs_prt must point to a valid constraints system structure of type standard_format
pub unsafe fn get_total_circuit_size(cs_prt: *const u8) -> u32 {
    acir_proofs_get_total_circuit_size(cs_prt)
}

/// # Safety
/// cs_prt must point to a valid constraints system structure of type standard_format
pub unsafe fn init_proving_key(cs_ptr: &[u8], pk_data_ptr: *mut *mut u8) -> usize {
    let cs_ptr = cs_ptr.as_ptr();
    acir_proofs_init_proving_key(cs_ptr, pk_data_ptr as *const *mut u8 as *mut *const u8)
}

/// # Safety
/// pippenger must point to a valid Pippenger object
pub unsafe fn init_verification_key(
    pippenger: *mut ::std::os::raw::c_void,
    g2_ptr: &[u8],
    pk_ptr: &[u8],
    vk_data_ptr: *mut *mut u8,
) -> usize {
    acir_proofs_init_verification_key(
        pippenger,
        g2_ptr.as_ptr() as *const u8,
        pk_ptr.as_ptr() as *const u8,
        vk_data_ptr as *const *mut u8 as *mut *const u8,
    )
}

/// # Safety
/// pippenger must point to a valid Pippenger object
pub unsafe fn create_proof_with_pk(
    pippenger: *mut ::std::os::raw::c_void,
    g2_ptr: &[u8],
    pk_ptr: &[u8],
    cs_ptr: &[u8],
    witness_ptr: &[u8],
    proof_data_ptr: *mut *mut u8,
) -> usize {
    let cs_ptr = cs_ptr.as_ptr() as *const u8;
    let pk_ptr = pk_ptr.as_ptr() as *const u8;
    acir_proofs_new_proof(
        pippenger,
        g2_ptr.as_ptr(),
        pk_ptr,
        cs_ptr,
        witness_ptr.as_ptr(),
        proof_data_ptr as *const *mut u8 as *mut *mut u8,
    )
}

/// # Safety
/// cs_prt must point to a valid constraints system structure of type standard_format
pub unsafe fn verify_with_vk(g2_ptr: &[u8], vk_ptr: &[u8], cs_ptr: &[u8], proof: &[u8]) -> bool {
    let proof_ptr = proof.as_ptr() as *const u8;

    acir_proofs_verify_proof(
        g2_ptr.as_ptr() as *const u8,
        vk_ptr.as_ptr() as *const u8,
        cs_ptr.as_ptr() as *const u8,
        proof_ptr as *mut u8,
        proof.len() as u32,
    )
}