Skip to content

Commit

Permalink
refactor(core): move crypto module into crate
Browse files Browse the repository at this point in the history
  • Loading branch information
SuperFluffy committed Nov 11, 2024
1 parent e5577e1 commit 4e0a4f2
Show file tree
Hide file tree
Showing 13 changed files with 121 additions and 46 deletions.
19 changes: 18 additions & 1 deletion Cargo.lock

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

4 changes: 4 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,8 @@ members = [
"crates/astria-conductor",
"crates/astria-config",
"crates/astria-core",
"crates/astria-core-consts",
"crates/astria-core-crypto",
"crates/astria-eyre",
"crates/astria-grpc-mock",
"crates/astria-grpc-mock-test",
Expand All @@ -34,6 +36,8 @@ default-members = [
"crates/astria-conductor",
"crates/astria-config",
"crates/astria-core",
"crates/astria-core-consts",
"crates/astria-core-crypto",
"crates/astria-grpc-mock",
"crates/astria-grpc-mock-test",
"crates/astria-grpc-mock-test-codegen",
Expand Down
6 changes: 6 additions & 0 deletions crates/astria-core-consts/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
[package]
name = "astria-core-consts"
version = "0.1.0"
edition = "2021"

[dependencies]
3 changes: 3 additions & 0 deletions crates/astria-core-consts/src/lib.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
//! Public constants that are used throughout the Astria stack.

pub const ADDRESS_LENGTH: usize = 20;
14 changes: 14 additions & 0 deletions crates/astria-core-crypto/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
<!-- markdownlint-disable no-duplicate-heading -->

# Changelog

All notable changes to this project will be documented in this file.

The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## Unreleased

### Added

- Initial release.
22 changes: 22 additions & 0 deletions crates/astria-core-crypto/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
[package]
name = "astria-core-crypto"
version = "0.1.0"
edition = "2021"
rust-version = "1.81.0"
license = "MIT OR Apache-2.0"
readme = "README.md"
repository = "https://github.com/astriaorg/astria"
homepage = "https://astria.org"

[dependencies]
astria-core-consts = { path = "../astria-core-consts" }

base64 = { workspace = true }
rand = { workspace = true }
sha2 = { workspace = true }
thiserror = { workspace = true }

ed25519-consensus = { version = "2.1.0", default-features = false, features = [
"std",
] }
zeroize = { version = "1.7.0", features = ["zeroize_derive"] }
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ use std::{
sync::OnceLock,
};

use astria_core_consts::ADDRESS_LENGTH;
use base64::{
display::Base64Display,
prelude::BASE64_STANDARD,
Expand All @@ -28,21 +29,11 @@ use rand::{
CryptoRng,
RngCore,
};
use sha2::{
Digest as _,
Sha256,
};
use zeroize::{
Zeroize,
ZeroizeOnDrop,
};

use crate::primitive::v1::{
Address,
AddressError,
ADDRESS_LEN,
};

/// An Ed25519 signing key.
// *Implementation note*: this is currently a refinement type around
// ed25519_consensus::SigningKey overriding its Debug implementation
Expand Down Expand Up @@ -85,22 +76,9 @@ impl SigningKey {

/// Returns the address bytes of the verification key associated with this signing key.
#[must_use]
pub fn address_bytes(&self) -> [u8; ADDRESS_LEN] {
pub fn address_bytes(&self) -> [u8; ADDRESS_LENGTH] {
*self.verification_key().address_bytes()
}

/// Attempts to create an Astria bech32m `[Address]` with the given prefix.
///
/// # Errors
/// Returns an [`AddressError`] if an address could not be constructed
/// with the given prefix. Usually if the prefix was too long or contained
/// characters not allowed by bech32m.
pub fn try_address(&self, prefix: &str) -> Result<Address, AddressError> {
Address::builder()
.prefix(prefix)
.array(self.address_bytes())
.try_build()
}
}

impl Debug for SigningKey {
Expand Down Expand Up @@ -139,7 +117,7 @@ pub struct VerificationKey {
// The address-bytes are lazily-initialized. Since it may or may not be initialized for any
// given instance of a verification key, it is excluded from `PartialEq`, `Eq`, `PartialOrd`,
// `Ord` and `Hash` impls.
address_bytes: OnceLock<[u8; ADDRESS_LEN]>,
address_bytes: OnceLock<[u8; ADDRESS_LENGTH]>,
}

impl VerificationKey {
Expand Down Expand Up @@ -167,18 +145,23 @@ impl VerificationKey {
///
/// The address is the first 20 bytes of the sha256 hash of the verification key.
#[must_use]
pub fn address_bytes(&self) -> &[u8; ADDRESS_LEN] {
pub fn address_bytes(&self) -> &[u8; ADDRESS_LENGTH] {
use sha2::{
Digest as _,
Sha256,
};

self.address_bytes.get_or_init(|| {
fn first_20(array: [u8; 32]) -> [u8; ADDRESS_LEN] {
fn first_20(array: [u8; 32]) -> [u8; ADDRESS_LENGTH] {
[
array[0], array[1], array[2], array[3], array[4], array[5], array[6], array[7],
array[8], array[9], array[10], array[11], array[12], array[13], array[14],
array[15], array[16], array[17], array[18], array[19],
]
}
/// this ensures that `ADDRESS_LEN` is never accidentally changed to a value
/// this ensures that `ADDRESS_LENGTH` is never accidentally changed to a value
/// that would violate this assumption.
const _: () = assert!(ADDRESS_LEN <= 32);
const _: () = assert!(ADDRESS_LENGTH <= 32);
let bytes: [u8; 32] = Sha256::digest(self).into();
first_20(bytes)
})
Expand Down
7 changes: 7 additions & 0 deletions crates/astria-core/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,13 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
- Added method `TracePrefixed::leading_channel` to read the left-most channel of
a trace prefixed ICS20 asset [#1768](https://github.com/astriaorg/astria/pull/1768)

### Changed

- Moved `astria_core::crypto` to `astria-core-crypto` and reexported
`astria_core_crypto as crypto` (this change is transparent)
[#1800](https://github.com/astriaorg/astria/pull/1800/)

### Removed

- Removed method `TracePrefixed::last_channel` [#1768](https://github.com/astriaorg/astria/pull/1768)
- Removed method `SigningKey::try_address` [#1800](https://github.com/astriaorg/astria/pull/1800/)
10 changes: 4 additions & 6 deletions crates/astria-core/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -21,21 +21,20 @@ brotli = { version = "5.0.0", optional = true }
celestia-types = { version = "0.1.1", optional = true }
pbjson = { version = "0.6.0", optional = true }

astria-core-consts = { path = "../astria-core-consts" }
astria-core-crypto = { path = "../astria-core-crypto" }
merkle = { package = "astria-merkle", path = "../astria-merkle" }

bytes = { workspace = true }
celestia-tendermint = { workspace = true }
ed25519-consensus = { version = "2.1.0", default-features = false, features = [
"std",
] }
hex = { workspace = true }
ibc-types = { workspace = true }
indexmap = { workspace = true }
pbjson-types = { workspace = true }
penumbra-ibc = { workspace = true }
penumbra-proto = { workspace = true }
prost = { workspace = true }
rand = { workspace = true }
rand = { workspace = true, optional = true }
serde = { workspace = true, features = ["derive"], optional = true }
sha2 = { workspace = true }
tendermint = { workspace = true }
Expand All @@ -45,14 +44,13 @@ tonic = { workspace = true, optional = true }
tracing = { workspace = true }
base64-serde = { workspace = true, optional = true }
base64 = { workspace = true }
zeroize = { version = "1.7.0", features = ["zeroize_derive"] }

[features]
celestia = ["dep:celestia-types"]
client = ["dep:tonic"]
serde = ["dep:serde", "dep:pbjson", "dep:base64-serde"]
server = ["dep:tonic"]
test-utils = []
test-utils = ["dep:rand"]
base64-serde = ["dep:base64-serde"]
brotli = ["dep:brotli"]
# When enabled, this adds constructors for some types that skip the normal constructor validity
Expand Down
2 changes: 1 addition & 1 deletion crates/astria-core/src/lib.rs
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
pub use astria_core_crypto as crypto;
use prost::Name;

#[cfg(not(target_pointer_width = "64"))]
Expand All @@ -13,7 +14,6 @@ compile_error!(
)]
pub mod generated;

pub mod crypto;
pub mod execution;
pub mod primitive;
pub mod protocol;
Expand Down
3 changes: 1 addition & 2 deletions crates/astria-core/src/primitive/v1/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ use std::{
str::FromStr,
};

pub use astria_core_consts::ADDRESS_LENGTH as ADDRESS_LEN;
use base64::{
display::Base64Display,
prelude::BASE64_URL_SAFE,
Expand All @@ -21,8 +22,6 @@ use crate::{
Protobuf,
};

pub const ADDRESS_LEN: usize = 20;

pub const ROLLUP_ID_LEN: usize = 32;

pub const TRANSACTION_ID_LEN: usize = 32;
Expand Down
23 changes: 20 additions & 3 deletions crates/astria-sequencer/src/app/tests_breaking_changes.rs
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,10 @@ use std::{
};

use astria_core::{
primitive::v1::RollupId,
primitive::v1::{
Address,
RollupId,
},
protocol::{
genesis::v1::Account,
transaction::v1::{
Expand Down Expand Up @@ -190,8 +193,22 @@ async fn app_execute_transaction_with_every_action_snapshot() {
};
let genesis_state = astria_core::generated::protocol::genesis::v1::GenesisAppState {
accounts,
authority_sudo_address: Some(alice.try_address(ASTRIA_PREFIX).unwrap().to_raw()),
ibc_sudo_address: Some(alice.try_address(ASTRIA_PREFIX).unwrap().to_raw()),
authority_sudo_address: Some(
Address::builder()
.prefix(ASTRIA_PREFIX)
.array(alice.address_bytes())
.try_build()
.unwrap()
.to_raw(),
),
ibc_sudo_address: Some(
Address::builder()
.prefix(ASTRIA_PREFIX)
.array(alice.address_bytes())
.try_build()
.unwrap()
.to_raw(),
),
..proto_genesis_state()
}
.try_into()
Expand Down
13 changes: 9 additions & 4 deletions crates/astria-sequencer/src/app/tests_execute_transaction.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ use astria_core::{
crypto::SigningKey,
primitive::v1::{
asset,
Address,
RollupId,
},
protocol::{
Expand Down Expand Up @@ -78,14 +79,18 @@ use crate::{
fn proto_genesis_state() -> astria_core::generated::protocol::genesis::v1::GenesisAppState {
astria_core::generated::protocol::genesis::v1::GenesisAppState {
authority_sudo_address: Some(
get_alice_signing_key()
.try_address(ASTRIA_PREFIX)
Address::builder()
.prefix(ASTRIA_PREFIX)
.array(get_alice_signing_key().address_bytes())
.try_build()
.unwrap()
.to_raw(),
),
ibc_sudo_address: Some(
get_alice_signing_key()
.try_address(ASTRIA_PREFIX)
Address::builder()
.prefix(ASTRIA_PREFIX)
.array(get_alice_signing_key().address_bytes())
.try_build()
.unwrap()
.to_raw(),
),
Expand Down

0 comments on commit 4e0a4f2

Please sign in to comment.