barretenberg
Loading...
Searching...
No Matches
pedersen.hpp
1#pragma once
2#include "../../primitives/byte_array/byte_array.hpp"
3#include "../../primitives/field/field.hpp"
4#include "barretenberg/crypto/pedersen_commitment/pedersen.hpp"
5#include "barretenberg/stdlib/primitives/group/cycle_group.hpp"
6
7namespace proof_system::plonk::stdlib {
8
9template <typename CircuitBuilder> class pedersen_commitment {
10 private:
13 using EmbeddedCurve = typename cycle_group<CircuitBuilder>::Curve;
16 using cycle_scalar = typename stdlib::cycle_group<CircuitBuilder>::cycle_scalar;
17
18 public:
19 static cycle_group commit(const std::vector<field_t>& inputs, GeneratorContext context = {});
20 static cycle_group commit(const std::vector<std::pair<field_t, GeneratorContext>>& input_pairs);
21};
22
23EXTERN_STDLIB_TYPE(pedersen_commitment);
24
25} // namespace proof_system::plonk::stdlib
cycle_group represents a group Element of the proving system's embedded curve i.e....
Definition: cycle_group.hpp:27
Definition: field.hpp:10
Definition: generator_data.hpp:133
cycle_scalar represents a member of the cycle curve SCALAR FIELD. This is NOT the native circuit fiel...
Definition: cycle_group.hpp:66