barretenberg
Loading...
Searching...
No Matches
complete_partial_commitment.hpp
1#pragma once
2#include "../../constants.hpp"
3#include "barretenberg/join_split_example/types.hpp"
4#include "barretenberg/stdlib/hash/pedersen/pedersen.hpp"
5
6namespace join_split_example {
7namespace proofs {
8namespace notes {
9namespace circuit {
10namespace claim {
11
12using namespace proof_system::plonk::stdlib;
13
14inline auto complete_partial_commitment(field_ct const& partial_commitment,
15 field_ct const& interaction_nonce,
16 suint_ct const& fee)
17{
18 return pedersen_hash::hash({ partial_commitment, interaction_nonce, fee.value },
19 GeneratorIndex::CLAIM_NOTE_COMMITMENT);
20}
21
22} // namespace claim
23} // namespace circuit
24} // namespace notes
25} // namespace proofs
26} // namespace join_split_example
Definition: field.hpp:10