rusk-abi 0.11.0

The ABI to develop Dusk Network smart contracts
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

// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.
//
// Copyright (c) DUSK NETWORK. All rights reserved.

pub use piecrust_uplink::*;

/// Compute the blake2b hash of the given bytes, returning the resulting scalar.
/// The output of the hasher is truncated (last nibble) to fit onto a scalar.
#[cfg(feature = "abi")]
pub fn hash(bytes: alloc::vec::Vec<u8>) -> dusk_bls12_381::BlsScalar {
    use crate::Query;
    host_query(Query::HASH, bytes)
}

/// Compute the poseidon hash of the given scalars
#[cfg(feature = "abi")]
pub fn poseidon_hash(
    scalars: alloc::vec::Vec<dusk_bls12_381::BlsScalar>,
) -> dusk_bls12_381::BlsScalar {
    use crate::Query;
    host_query(Query::POSEIDON_HASH, scalars)
}

/// Verify a proof is valid for a given circuit type and public inputs
#[cfg(feature = "abi")]
pub fn verify_proof(
    verifier_data: alloc::vec::Vec<u8>,
    proof: alloc::vec::Vec<u8>,
    public_inputs: alloc::vec::Vec<crate::PublicInput>,
) -> bool {
    use crate::Query;
    host_query(Query::VERIFY_PROOF, (verifier_data, proof, public_inputs))
}

/// Verify a schnorr signature is valid for the given public key and message
#[cfg(feature = "abi")]
pub fn verify_schnorr(
    msg: dusk_bls12_381::BlsScalar,
    pk: dusk_pki::PublicKey,
    sig: dusk_schnorr::Signature,
) -> bool {
    use crate::Query;
    host_query(Query::VERIFY_SCHNORR, (msg, pk, sig))
}

/// Verify a BLS signature is valid for the given public key and message
#[cfg(feature = "abi")]
pub fn verify_bls(
    msg: alloc::vec::Vec<u8>,
    pk: dusk_bls12_381_sign::PublicKey,
    sig: dusk_bls12_381_sign::Signature,
) -> bool {
    use crate::Query;
    host_query(Query::VERIFY_BLS, (msg, pk, sig))
}

/// Get the current block height.
#[cfg(feature = "abi")]
pub fn block_height() -> u64 {
    use crate::Metadata;
    meta_data(Metadata::BLOCK_HEIGHT).unwrap()
}

/// Query a contract for the types of payment it accepts.
#[cfg(feature = "abi")]
pub fn payment_info(
    contract: ContractId,
) -> Result<crate::PaymentInfo, ContractError> {
    call(contract, "payment_info", &())
}