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
// 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.
//! ![Build Status](https://github.com/dusk-network/rusk/workflows/Continuous%20integration/badge.svg)
//! [![Repository](https://img.shields.io/badge/github-rusk-blueviolet?logo=github)](https://github.com/dusk-network/rusk)
//! [![Documentation](https://img.shields.io/badge/docs-rusk--abi-blue?logo=rust)](https://docs.rs/rusk-abi/)
//! # Rusk ABI
//!
//! The ABI to develop Rusk's specific Contracts
#![warn(missing_docs)]
#![no_std]
#![deny(clippy::all)]
#![feature(const_fn_floating_point_arithmetic)]
pub use dusk_abi::ContractId;
use dusk_bls12_381::BlsScalar;
use dusk_bytes::DeserializableSlice;
/// Constant depth of the merkle tree that provides the opening proofs.
pub const POSEIDON_TREE_DEPTH: usize = 17;
/// Label used for the ZK transcript initialization. Must be the same for prover
/// and verifier.
pub const TRANSCRIPT_LABEL: &[u8] = b"dusk-network";
/// Contract ID of the genesis transfer contract
pub const fn transfer_contract() -> ContractId {
ContractId::reserved(0x1)
}
/// Contract ID of the genesis stake contract
pub const fn stake_contract() -> ContractId {
ContractId::reserved(0x2)
}
/// Converts a `ContractId` to a `BlsScalar`
///
/// This cannot fail since the contract id should be generated always using
/// `rusk_abi::gen_contract_id` that ensures the bytes are inside the BLS field.
pub fn contract_to_scalar(contract_id: &ContractId) -> BlsScalar {
BlsScalar::from_slice(contract_id.as_bytes()).expect(
"Something went REALLY wrong if a contract id cannot be a scalar",
)
}
pub mod dusk;
#[doc(hidden)]
pub mod hash;
cfg_if::cfg_if! {
if #[cfg(feature = "module")] {
#[doc(hidden)]
pub mod module;
pub use module::*;
}
}