Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore!: move signature functions to abci and more strict type controls #21

Merged
merged 8 commits into from
Apr 27, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 7 additions & 5 deletions abci/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "tenderdash-abci"
version = "0.12.0-dev.1"
version = "0.12.0-dev.2"
edition = "2021"
license = "Apache-2.0"
readme = "README.md"
Expand All @@ -11,26 +11,27 @@ description = """tenderdash-abci provides a simple framework with which to build
low-level applications on top of Tenderdash."""

[features]
default = ["server", "docker-tests"]
default = ["server", "docker-tests", "crypto"]
# docker-tests includes integration tests that require docker to be available
docker-tests = ["server"]
server = ["tracing-subscriber/fmt"]
crypto = ["dep:lhash"]

[[example]]
name = "echo_socket"
required-features = ["server"]

[dependencies]
tenderdash-proto = { version = "0.12.0-dev.1", path = "../proto", default-features = false, features = [
"crypto",
] }
tenderdash-proto = { version = "0.12.0-dev.2", path = "../proto" }
bytes = { version = "1.0" }
prost = { version = "0.11" }
tracing = { version = "0.1", default-features = false }
tracing-subscriber = { version = "0.3", optional = true, default-features = false }
thiserror = "1.0.39"
url = { version = "2.3.1" }
semver = { version = "1.0.17" }
lhash = { version = "1.0.1", features = ["sha256"], optional = true }
hex = { version = "0.4" }

[dev-dependencies]
anyhow = "1.0.69"
Expand All @@ -39,3 +40,4 @@ blake2 = "0.10.6"
bollard = { version = "0.14.0" }
futures = { version = "0.3.26" }
tokio = { version = "1", features = ["macros", "signal", "time", "io-std"] }
hex = { version = "0.4" }
5 changes: 5 additions & 0 deletions abci/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,9 @@ use prost::{DecodeError, EncodeError};
pub use server::{start_server, Server};
pub use tenderdash_proto as proto;

#[cfg(feature = "crypto")]
pub mod signatures;

/// Errors that may happen during protobuf communication
#[derive(Debug, thiserror::Error)]
pub enum Error {
Expand All @@ -34,4 +37,6 @@ pub enum Error {
Decode(#[from] DecodeError),
#[error("cannot encode protobuf message")]
Encode(#[from] EncodeError),
#[error("cannot create canonical message: {0}")]
Canonical(String),
}
96 changes: 59 additions & 37 deletions proto/src/signatures.rs → abci/src/signatures.rs
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
//! Digital signature processing
use alloc::{
use std::{
string::{String, ToString},
vec::Vec,
};
Expand All @@ -8,7 +8,7 @@ use bytes::BufMut;
use prost::Message;

use crate::{
types::{
proto::types::{
BlockId, CanonicalBlockId, CanonicalVoteExtension, Commit, SignedMsgType, StateId, Vote,
VoteExtension, VoteExtensionType,
},
Expand All @@ -25,7 +25,7 @@ pub trait SignDigest {
&self,
chain_id: &str,
quorum_type: u8,
quorum_hash: &[u8],
quorum_hash: &[u8; 32],
height: i64,
round: i32,
) -> Result<Vec<u8>, Error>;
Expand All @@ -36,23 +36,25 @@ impl SignDigest for Commit {
&self,
chain_id: &str,
quorum_type: u8,
quorum_hash: &[u8],
quorum_hash: &[u8; 32],

height: i64,
round: i32,
) -> Result<Vec<u8>, Error> {
if self.quorum_hash.ne(quorum_hash) {
return Err(Error::create_canonical("quorum hash mismatch".to_string()));
return Err(Error::Canonical("quorum hash mismatch".to_string()));
}

let request_id = sign_request_id(VOTE_REQUEST_ID_PREFIX, height, round);
let sign_bytes_hash = self.sha256(chain_id, height, round)?;

Ok(sign_digest(
quorum_type,
Vec::from(quorum_hash),
request_id,
sign_bytes_hash,
quorum_hash,
request_id[..]
lklimek marked this conversation as resolved.
Show resolved Hide resolved
.try_into()
.expect("invalid request ID length"),
&sign_bytes_hash,
))
}
}
Expand All @@ -62,7 +64,7 @@ impl SignDigest for VoteExtension {
&self,
chain_id: &str,
quorum_type: u8,
quorum_hash: &[u8],
quorum_hash: &[u8; 32],
height: i64,
round: i32,
) -> Result<Vec<u8>, Error> {
Expand All @@ -71,9 +73,9 @@ impl SignDigest for VoteExtension {

Ok(sign_digest(
quorum_type,
Vec::from(quorum_hash),
request_id,
sign_bytes_hash,
quorum_hash,
request_id[..].try_into().unwrap(),
&sign_bytes_hash,
))
}
}
Expand All @@ -88,12 +90,17 @@ fn sign_request_id(prefix: &str, height: i64, round: i32) -> Vec<u8> {

fn sign_digest(
quorum_type: u8,
mut quorum_hash: Vec<u8>,
mut request_id: Vec<u8>,
mut sign_bytes_hash: Vec<u8>,
quorum_hash: &[u8; 32],
request_id: &[u8; 32],
sign_bytes_hash: &[u8],
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why not &[u8,32], as well?

) -> Vec<u8> {
let mut quorum_hash = quorum_hash.to_vec();
quorum_hash.reverse();

let mut request_id = request_id.to_vec();
request_id.reverse();

let mut sign_bytes_hash = sign_bytes_hash.to_vec();
sign_bytes_hash.reverse();

let mut buf = Vec::<u8>::new();
Expand Down Expand Up @@ -128,27 +135,36 @@ impl SignBytes for StateId {
fn sign_bytes(&self, _chain_id: &str, _height: i64, _round: i32) -> Result<Vec<u8>, Error> {
let mut buf = Vec::new();
self.encode_length_delimited(&mut buf)
.map_err(Error::encode_message)?;
.map_err(Error::Encode)?;

Ok(buf.to_vec())
}
}

impl SignBytes for BlockId {
fn sign_bytes(&self, _chain_id: &str, _height: i64, _round: i32) -> Result<Vec<u8>, Error> {
// determine if block id is zero
if self.hash.is_empty()
&& (self.part_set_header.is_none()
|| self.part_set_header.as_ref().unwrap().hash.is_empty())
&& self.state_id.is_empty()
{
return Ok(Vec::<u8>::new());
}

let part_set_header = self.part_set_header.clone().unwrap_or_default();

let block_id = CanonicalBlockId {
hash: self.hash.clone(),
part_set_header: Some(crate::types::CanonicalPartSetHeader {
part_set_header: Some(crate::proto::types::CanonicalPartSetHeader {
total: part_set_header.total,
hash: part_set_header.hash,
}),
};
let mut buf = Vec::new();
block_id
.encode_length_delimited(&mut buf)
.map_err(Error::encode_message)?;
.map_err(Error::Encode)?;

Ok(buf)
}
Expand All @@ -157,17 +173,13 @@ impl SignBytes for BlockId {
impl SignBytes for Vote {
fn sign_bytes(&self, chain_id: &str, height: i64, round: i32) -> Result<Vec<u8>, Error> {
if height != self.height || round != self.round {
return Err(Error::create_canonical(String::from(
"vote height/round mismatch",
)));
return Err(Error::Canonical(String::from("vote height/round mismatch")));
}

let block_id = self
.block_id
.clone()
.ok_or(Error::create_canonical(String::from(
"missing vote.block id",
)))?;
.ok_or(Error::Canonical(String::from("missing vote.block id")))?;

vote_sign_bytes(block_id, self.r#type(), chain_id, height, round)
}
Expand All @@ -176,17 +188,15 @@ impl SignBytes for Vote {
impl SignBytes for Commit {
fn sign_bytes(&self, chain_id: &str, height: i64, round: i32) -> Result<Vec<u8>, Error> {
if height != self.height || round != self.round {
return Err(Error::create_canonical(String::from(
return Err(Error::Canonical(String::from(
"commit height/round mismatch",
)));
}

let block_id = self
.block_id
.clone()
.ok_or(Error::create_canonical(String::from(
"missing vote.block id",
)))?;
.ok_or(Error::Canonical(String::from("missing vote.block id")))?;

vote_sign_bytes(block_id, SignedMsgType::Precommit, chain_id, height, round)
}
Expand All @@ -195,7 +205,7 @@ impl SignBytes for Commit {
impl SignBytes for VoteExtension {
fn sign_bytes(&self, chain_id: &str, height: i64, round: i32) -> Result<Vec<u8>, Error> {
if self.r#type() != VoteExtensionType::ThresholdRecover {
return Err(Error::create_canonical(String::from(
return Err(Error::Canonical(String::from(
"only ThresholdRecover vote extensions can be signed",
)));
}
Expand Down Expand Up @@ -225,8 +235,16 @@ fn vote_sign_bytes(
// we just use some rough guesstimate of intial capacity for performance
let mut buf = Vec::with_capacity(100);

let state_id = block_id.state_id.clone();
let block_id = block_id.sha256(chain_id, height, round)?;
let state_id: [u8; 32] = block_id
.state_id
.clone()
.try_into()
.expect("state id must be a valid hash");

let block_id: [u8; 32] = block_id
.sha256(chain_id, height, round)?
.try_into()
.expect("block id must be a valid hash");

buf.put_i32_le(vote_type.into());
buf.put_i64_le(height);
Expand All @@ -241,10 +259,10 @@ fn vote_sign_bytes(

#[cfg(test)]
pub mod tests {
use alloc::{string::ToString, vec::Vec};
use std::{string::ToString, vec::Vec};

use super::SignBytes;
use crate::types::{
use crate::proto::types::{
Commit, PartSetHeader, SignedMsgType, Vote, VoteExtension, VoteExtensionType,
};

Expand All @@ -266,7 +284,7 @@ pub mod tests {
r#type: SignedMsgType::Prevote as i32,
height: 1,
round: 2,
block_id: Some(crate::types::BlockId {
block_id: Some(crate::proto::types::BlockId {
hash: h.clone(),
part_set_header: Some(PartSetHeader {
total: 1,
Expand Down Expand Up @@ -300,7 +318,7 @@ pub mod tests {
let commit = Commit {
height: 1,
round: 2,
block_id: Some(crate::types::BlockId {
block_id: Some(crate::proto::types::BlockId {
hash: h.clone(),
part_set_header: Some(PartSetHeader {
total: 1,
Expand Down Expand Up @@ -343,10 +361,14 @@ pub mod tests {

#[test]
fn test_sign_digest() {
let quorum_hash =
let quorum_hash: [u8; 32] =
hex::decode("6A12D9CF7091D69072E254B297AEF15997093E480FDE295E09A7DE73B31CEEDD")
.unwrap()
.try_into()
.unwrap();

let request_id = super::sign_request_id(super::VOTE_REQUEST_ID_PREFIX, 1001, 0);
let request_id = request_id[..].try_into().unwrap();

let sign_bytes_hash =
hex::decode("0CA3D5F42BDFED0C4FDE7E6DE0F046CC76CDA6CEE734D65E8B2EE0E375D4C57D")
Expand All @@ -356,7 +378,7 @@ pub mod tests {
hex::decode("DA25B746781DDF47B5D736F30B1D9D0CC86981EEC67CBE255265C4361DEF8C2E")
.unwrap();

let sign_id = super::sign_digest(100, quorum_hash, request_id, sign_bytes_hash);
let sign_id = super::sign_digest(100, &quorum_hash, request_id, &sign_bytes_hash);
assert_eq!(expect_sign_id, sign_id); // 194,4
}
}
2 changes: 1 addition & 1 deletion proto-compiler/src/functions.rs
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ pub fn fetch_commitish(tenderdash_dir: &Path, cache_dir: &Path, url: &str, commi
let tmpdir = tempfile::tempdir().expect("cannot create temporary dir to extract archive");
download_and_unzip(&url, archive_file.as_path(), tmpdir.path());

// Downloaded zip contains subdirectory like tenderdash-0.12.0-dev.1. We need to
// Downloaded zip contains subdirectory like tenderdash-0.12.0-dev.2. We need to
// move its contents to target/tederdash, so that we get correct paths like
// target/tenderdash/version/version.go
let src_dir = find_subdir(tmpdir.path(), "tenderdash-");
Expand Down
10 changes: 2 additions & 8 deletions proto/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "tenderdash-proto"
version = "0.12.0-dev.1"
version = "0.12.0-dev.2"
edition = "2021"
license = "Apache-2.0"
repository = "https://github.com/dashpay/rs-tenderdash-abci/tree/main/proto"
Expand Down Expand Up @@ -33,16 +33,10 @@ time = { version = "0.3", default-features = false, features = [
flex-error = { version = "0.4.4", default-features = false }
chrono = { version = "0.4.24", default-features = false }
derive_more = { version = "0.99.17" }
lhash = { version = "1.0.1", features = ["sha256"], optional = true }


[dev-dependencies]
serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
hex = { version = "0.4" }

[build-dependencies]
tenderdash-proto-compiler = { path = "../proto-compiler" }


[features]
default = ["crypto"]
crypto = ["dep:lhash"]
5 changes: 0 additions & 5 deletions proto/src/error.rs
Original file line number Diff line number Diff line change
Expand Up @@ -28,11 +28,6 @@ define_error! {
ParseLength
[ DisplayOnly<TryFromIntError> ]
| _ | { "error parsing encoded length" },

CreateCanonical
[ DisplayOnly<String> ]
| _ | { "cannot prepare canonical form: {}" },

}
}

Expand Down
3 changes: 0 additions & 3 deletions proto/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -35,9 +35,6 @@ pub use tenderdash::*;

pub mod serializers;

#[cfg(feature = "crypto")]
pub mod signatures;

use prelude::*;
pub use tenderdash::meta::ABCI_VERSION;

Expand Down