Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
ZER0 committed Sep 9, 2024
1 parent 1d23f06 commit c250393
Showing 1 changed file with 9 additions and 10 deletions.
19 changes: 9 additions & 10 deletions wallet-core/src/transaction.rs
Original file line number Diff line number Diff line change
Expand Up @@ -29,16 +29,15 @@ use execution_core::{
};

/// An unproven-transaction is nearly identical to a [`PhoenixTransaction`] with
/// the only difference being that it carries a serialized
/// [`execution_core::transfer::phoenix::TxCircuitVec`] instead of the proof
/// bytes. This way it is possible to delegate the proof generation of the
/// [`execution_core::transfer::phoenix::TxCircuitVec`] after the unproven
/// transaction was created while at the same time ensuring non-malleability of
/// the transaction, as the transaction's payload-hash is part of the public
/// inputs of the circuit. Once the proof is generated from the
/// [`execution_core::transfer::phoenix::TxCircuitVec`] bytes, it can replace
/// the serialized circuit in the transaction by calling
/// [`execution_core::transfer::phoenix::Transaction::set_proof`].
/// the only difference being that it carries a serialized [`TxCircuitVec`]
/// instead of the proof bytes.
/// This way it is possible to delegate the proof generation of the
/// [`TxCircuitVec`] after the unproven transaction was created while at the
/// same time ensuring non-malleability of the transaction, as the transaction's
/// payload-hash is part of the public inputs of the circuit.
/// Once the proof is generated from the [`TxCircuitVec`] bytes, it can
/// replace the serialized circuit in the transaction by calling
/// [`Transaction::replace_proof`].
///
/// # Errors
/// The creation of a transaction is not possible and will error if:
Expand Down

0 comments on commit c250393

Please sign in to comment.