ziskos-hints 1.1.0-alpha

Guest runtime and entrypoint for programs targeting the ZisK zkVM with the hints feature enabled
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

use crate::handlers::validate_hint_length;
use crate::hint_fields;
use crate::zisklib;

use anyhow::Result;

/// Processes a `HINT_SECP256K1_ECDSA_VERIFY` hint.
/// Generates witness for `zkvm_secp256k1_verify` by running the verify computation.
#[inline]
pub fn secp256k1_ecdsa_verify_hint(data: &[u64]) -> Result<Vec<u64>> {
    hint_fields![SIG: 8, MSG: 4, PK: 8];

    validate_hint_length(data, EXPECTED_LEN, "HINT_SECP256K1_ECDSA_VERIFY")?;

    let sig: &[u64; SIG_SIZE] = data[SIG_OFFSET..SIG_OFFSET + SIG_SIZE].try_into().unwrap();
    let msg: &[u64; MSG_SIZE] = data[MSG_OFFSET..MSG_OFFSET + MSG_SIZE].try_into().unwrap();
    let pk: &[u64; PK_SIZE] = data[PK_OFFSET..PK_OFFSET + PK_SIZE].try_into().unwrap();

    let mut hints = Vec::new();
    unsafe {
        zisklib::secp256k1_ecdsa_verify_c(
            sig.as_ptr() as *const u8,
            msg.as_ptr() as *const u8,
            pk.as_ptr() as *const u8,
            &mut hints,
        );
    }

    Ok(hints)
}

/// Processes a `HINT_SECP256K1_ECRECOVER` hint.
#[inline]
pub fn secp256k1_ecrecover_hint(data: &[u64]) -> Result<Vec<u64>> {
    hint_fields![SIG: 8, RECID: 1, MSG: 4];

    validate_hint_length(data, EXPECTED_LEN, "HINT_SECP256K1_ECRECOVER")?;

    let sig: &[u64; SIG_SIZE] = data[SIG_OFFSET..SIG_OFFSET + SIG_SIZE].try_into().unwrap();
    let recid: u8 = data[RECID_OFFSET] as u8;
    let msg: &[u64; MSG_SIZE] = data[MSG_OFFSET..MSG_OFFSET + MSG_SIZE].try_into().unwrap();

    let mut hints = Vec::new();
    let result: &mut [u8; 64] = &mut [0u8; 64];
    unsafe {
        zisklib::secp256k1_ecdsa_recover_c(
            sig.as_ptr() as *const u8,
            recid,
            msg.as_ptr() as *const u8,
            result.as_mut_ptr(),
            &mut hints,
        );
    }

    Ok(hints)
}