mirror of
https://github.com/darkrenaissance/darkfi.git
synced 2026-01-08 22:28:12 -05:00
112 lines
3.4 KiB
Rust
112 lines
3.4 KiB
Rust
/* This file is part of DarkFi (https://dark.fi)
|
|
*
|
|
* Copyright (C) 2020-2024 Dyne.org foundation
|
|
*
|
|
* This program is free software: you can redistribute it and/or modify
|
|
* it under the terms of the GNU Affero General Public License as
|
|
* published by the Free Software Foundation, either version 3 of the
|
|
* License, or (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU Affero General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Affero General Public License
|
|
* along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
use darkfi_sdk::{
|
|
crypto::{schnorr::Signature, Keypair, PublicKey},
|
|
pasta::pallas,
|
|
};
|
|
use darkfi_serial::{async_trait, SerialDecodable, SerialEncodable};
|
|
use log::error;
|
|
|
|
use crate::{
|
|
zk::proof::{Proof, VerifyingKey},
|
|
Result,
|
|
};
|
|
|
|
// TODO: Replace 'Lead' terms with 'Producer' to make it more clear that
|
|
// we refer to block producer.
|
|
/// This struct represents [`Block`](super::Block) leader information used by the consensus protocol.
|
|
#[derive(Debug, Clone, PartialEq, Eq, SerialEncodable, SerialDecodable)]
|
|
pub struct LeadInfo {
|
|
/// Block producer signature
|
|
pub signature: Signature,
|
|
/// Block producer public_key
|
|
pub public_key: PublicKey, // TODO: remove this(to be derived by proof)
|
|
/// Block producer slot competing coins public inputs
|
|
pub public_inputs: Vec<pallas::Base>,
|
|
/// Leader coin creation slot
|
|
pub coin_slot: u64,
|
|
/// Leader coin creation eta
|
|
pub coin_eta: pallas::Base,
|
|
/// Leader NIZK proof
|
|
pub proof: LeadProof,
|
|
/// Block producer leaders count
|
|
pub leaders: u64,
|
|
}
|
|
|
|
impl Default for LeadInfo {
|
|
/// Default LeadInfo used in genesis block generation
|
|
fn default() -> Self {
|
|
let keypair = Keypair::default();
|
|
let signature = Signature::dummy();
|
|
let public_inputs = vec![];
|
|
let coin_slot = 0;
|
|
let coin_eta = pallas::Base::zero();
|
|
let proof = LeadProof::default();
|
|
let leaders = 0;
|
|
Self {
|
|
signature,
|
|
public_key: keypair.public,
|
|
public_inputs,
|
|
coin_slot,
|
|
coin_eta,
|
|
proof,
|
|
leaders,
|
|
}
|
|
}
|
|
}
|
|
|
|
impl LeadInfo {
|
|
#[allow(clippy::too_many_arguments)]
|
|
pub fn new(
|
|
signature: Signature,
|
|
public_key: PublicKey,
|
|
public_inputs: Vec<pallas::Base>,
|
|
coin_slot: u64,
|
|
coin_eta: pallas::Base,
|
|
proof: LeadProof,
|
|
leaders: u64,
|
|
) -> Self {
|
|
Self { signature, public_key, public_inputs, coin_slot, coin_eta, proof, leaders }
|
|
}
|
|
}
|
|
|
|
/// Wrapper over the Proof, for future additions.
|
|
#[derive(Default, Debug, Clone, PartialEq, Eq, SerialEncodable, SerialDecodable)]
|
|
pub struct LeadProof {
|
|
/// Leadership proof
|
|
pub proof: Proof,
|
|
}
|
|
|
|
impl LeadProof {
|
|
pub fn verify(&self, vk: &VerifyingKey, public_inputs: &[pallas::Base]) -> Result<()> {
|
|
if let Err(e) = self.proof.verify(vk, public_inputs) {
|
|
error!(target: "consensus::lead_info", "Verification of consensus lead proof failed: {}", e);
|
|
return Err(e.into())
|
|
}
|
|
|
|
Ok(())
|
|
}
|
|
}
|
|
|
|
impl From<Proof> for LeadProof {
|
|
fn from(proof: Proof) -> Self {
|
|
Self { proof }
|
|
}
|
|
}
|