acvm_blackbox_solver 0.46.0

A solver for the blackbox functions found in ACIR and Brillig
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use crate::BlackBoxResolutionError;

mod secp256k1;
mod secp256r1;

pub fn ecdsa_secp256k1_verify(
    hashed_msg: &[u8],
    public_key_x: &[u8; 32],
    public_key_y: &[u8; 32],
    signature: &[u8; 64],
) -> Result<bool, BlackBoxResolutionError> {
    Ok(secp256k1::verify_signature(hashed_msg, public_key_x, public_key_y, signature))
}

pub fn ecdsa_secp256r1_verify(
    hashed_msg: &[u8],
    public_key_x: &[u8; 32],
    public_key_y: &[u8; 32],
    signature: &[u8; 64],
) -> Result<bool, BlackBoxResolutionError> {
    Ok(secp256r1::verify_signature(hashed_msg, public_key_x, public_key_y, signature))
}