Skip to content

Commit

Permalink
vp_prelude: fix build
Browse files Browse the repository at this point in the history
  • Loading branch information
tzemanovic committed Jan 3, 2024
1 parent bf68c32 commit c9cd9b0
Show file tree
Hide file tree
Showing 3 changed files with 46 additions and 24 deletions.
8 changes: 7 additions & 1 deletion Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

17 changes: 12 additions & 5 deletions vp_prelude/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -16,11 +16,18 @@ version.workspace = true
default = []

[dependencies]
namada_core = {path = "../core", default-features = false}
namada_macros = {path = "../macros"}
namada_proof_of_stake = {path = "../proof_of_stake", default-features = false}
namada_vm_env = {path = "../vm_env", default-features = false}
namada_account = { path = "../account" }
namada_core = { path = "../core", default-features = false }
namada_governance = { path = "../governance" }
namada_macros = { path = "../macros" }
namada_parameters = { path = "../parameters" }
namada_proof_of_stake = { path = "../proof_of_stake", default-features = false }
namada_storage = { path = "../storage" }
namada_token = { path = "../token" }
namada_tx = { path = "../tx" }
namada_vm_env = { path = "../vm_env", default-features = false }
namada_vp_env = { path = "../vp_env" }

borsh.workspace = true
borsh-ext.workspace = true
sha2.workspace = true
thiserror.workspace = true
45 changes: 27 additions & 18 deletions vp_prelude/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -13,17 +13,9 @@ pub use std::collections::{BTreeSet, HashSet};
use std::convert::TryFrom;
use std::marker::PhantomData;

pub use borsh::{BorshDeserialize, BorshSerialize};
use borsh_ext::BorshSerializeExt;
pub use namada_core::ledger::governance::storage as gov_storage;
pub use namada_core::ledger::parameters;
pub use namada_core::ledger::pgf::storage as pgf_storage;
pub use namada_core::ledger::storage_api::{
self, iter_prefix, iter_prefix_bytes, Error, OptionExt, ResultExt,
StorageRead,
pub use namada_core::borsh::{
BorshDeserialize, BorshSerialize, BorshSerializeExt,
};
pub use namada_core::ledger::vp_env::VpEnv;
pub use namada_core::proto::{Section, Tx};
pub use namada_core::types::address::Address;
use namada_core::types::chain::CHAIN_ID_LENGTH;
use namada_core::types::hash::{Hash, HASH_LENGTH};
Expand All @@ -32,11 +24,21 @@ use namada_core::types::storage::{
BlockHash, BlockHeight, Epoch, Header, TxIndex, BLOCK_HASH_LENGTH,
};
pub use namada_core::types::*;
pub use namada_governance::pgf::storage as pgf_storage;
pub use namada_governance::storage as gov_storage;
pub use namada_macros::validity_predicate;
pub use namada_storage::{
iter_prefix, iter_prefix_bytes, Error, OptionExt, ResultExt, StorageRead,
};
pub use namada_tx::{Section, Tx};
use namada_vm_env::vp::*;
use namada_vm_env::{read_from_buffer, read_key_val_bytes_from_buffer};
pub use namada_vp_env::VpEnv;
pub use sha2::{Digest, Sha256, Sha384, Sha512};
pub use {borsh_ext, namada_proof_of_stake as proof_of_stake};
pub use {
namada_account as account, namada_parameters as parameters,
namada_proof_of_stake as proof_of_stake, namada_token as token,
};

pub fn sha256(bytes: &[u8]) -> Hash {
let digest = Sha256::digest(bytes);
Expand Down Expand Up @@ -85,9 +87,8 @@ pub fn verify_signatures(ctx: &Ctx, tx: &Tx, owner: &Address) -> VpResult {
parameters::max_signatures_per_transaction(&ctx.pre())?;

let public_keys_index_map =
storage_api::account::public_keys_index_map(&ctx.pre(), owner)?;
let threshold =
storage_api::account::threshold(&ctx.pre(), owner)?.unwrap_or(1);
account::public_keys_index_map(&ctx.pre(), owner)?;
let threshold = account::threshold(&ctx.pre(), owner)?.unwrap_or(1);

// Serialize parameters
let max_signatures = max_signatures_per_transaction.serialize_to_vec();
Expand Down Expand Up @@ -206,7 +207,7 @@ pub struct CtxPostStorageRead<'a> {
_ctx: &'a Ctx,
}

/// Result of `VpEnv` or `storage_api::StorageRead` method call
/// Result of `VpEnv` or `namada_storage::StorageRead` method call
pub type EnvResult<T> = Result<T, Error>;

/// Validity predicate result
Expand Down Expand Up @@ -417,13 +418,17 @@ impl StorageRead for CtxPreStorageRead<'_> {
get_block_epoch()
}

fn get_tx_index(&self) -> Result<TxIndex, storage_api::Error> {
fn get_tx_index(&self) -> Result<TxIndex, Error> {
get_tx_index()
}

fn get_native_token(&self) -> Result<Address, Error> {
get_native_token()
}

fn get_pred_epochs(&self) -> namada_storage::Result<storage::Epochs> {
todo!()
}
}

impl StorageRead for CtxPostStorageRead<'_> {
Expand Down Expand Up @@ -487,13 +492,17 @@ impl StorageRead for CtxPostStorageRead<'_> {
get_block_epoch()
}

fn get_tx_index(&self) -> Result<TxIndex, storage_api::Error> {
fn get_tx_index(&self) -> Result<TxIndex, Error> {
get_tx_index()
}

fn get_native_token(&self) -> Result<Address, Error> {
get_native_token()
}

fn get_pred_epochs(&self) -> namada_storage::Result<storage::Epochs> {
todo!()
}
}

fn iter_prefix_pre_impl(
Expand Down Expand Up @@ -558,7 +567,7 @@ fn get_block_epoch() -> Result<Epoch, Error> {
Ok(Epoch(unsafe { namada_vp_get_block_epoch() }))
}

fn get_tx_index() -> Result<TxIndex, storage_api::Error> {
fn get_tx_index() -> Result<TxIndex, Error> {
Ok(TxIndex(unsafe { namada_vp_get_tx_index() }))
}

Expand Down

0 comments on commit c9cd9b0

Please sign in to comment.