passing bulk_test

Author: IlyasRidhuan

barretenberg/cpp/src/barretenberg/vm2/optimized/relations/poseidon2_perm.cpp

@@ -0,0 +1,33 @@
+#include "barretenberg/flavor/relation_definitions.hpp"
+#include "barretenberg/vm2/constraining/flavor.hpp"
+#include "barretenberg/vm2/constraining/full_row.hpp"
+#include "barretenberg/vm2/constraining/recursion/recursive_flavor.hpp"
+#include "barretenberg/vm2/optimized/relations/poseidon2_perm_impl.hpp"
+
+#define AvmCheckCircuitEdge(Flavor) Flavor::PolynomialEntitiesAtFixedRow<Flavor::ProverPolynomials>
+#define AvmCheckRelationEdge(Flavor) ::bb::avm2::AvmFullRowProxy
+
+namespace bb::avm2 {
+
+template class optimized_poseidon2_permImpl<AvmFlavorSettings::FF>;
+ACCUMULATE(optimized_poseidon2_permImpl,
+           AvmFlavor,
+           SumcheckTupleOfUnivariatesOverSubrelations,
+           ExtendedEdge);                                                                                   // Prover.
+ACCUMULATE(optimized_poseidon2_permImpl, AvmFlavor, SumcheckArrayOfValuesOverSubrelations, EvaluationEdge); // Verifier.
+ACCUMULATE(optimized_poseidon2_permImpl,
+           AvmFlavor,
+           SumcheckArrayOfValuesOverSubrelations,
+           AvmCheckCircuitEdge); // Check circuit.
+ACCUMULATE(optimized_poseidon2_permImpl,
+           AvmFlavor,
+           SumcheckArrayOfValuesOverSubrelations,
+           AvmCheckRelationEdge); // Check relation (tests).
+
+template class optimized_poseidon2_permImpl<AvmRecursiveFlavor::FF>;
+ACCUMULATE(optimized_poseidon2_permImpl,
+           AvmRecursiveFlavor,
+           SumcheckArrayOfValuesOverSubrelations,
+           EvaluationEdge); // Verifier.
+
+} // namespace bb::avm2

barretenberg/cpp/src/barretenberg/vm2/optimized/relations/poseidon2_perm.hpp

@@ -0,0 +1,52 @@
+#pragma once
+
+#include <string_view>
+
+#include "barretenberg/common/op_count.hpp"
+#include "barretenberg/relations/relation_parameters.hpp"
+#include "barretenberg/relations/relation_types.hpp"
+#include "barretenberg/vm2/generated/columns.hpp"
+
+namespace bb::avm2 {
+
+template <typename FF_> class optimized_poseidon2_permImpl {
+  public:
+    using FF = FF_;
+
+    static constexpr std::array<size_t, 265> SUBRELATION_PARTIAL_LENGTHS = {
+        3, 3, 3, 3, 3, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
+        7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
+        7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
+        7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
+        7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
+        7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
+        7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7,
+        7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 3, 3, 3, 3
+    };
+
+    template <typename AllEntities> inline static bool skip(const AllEntities& in)
+    {
+        using C = ColumnAndShifts;
+
+        return (in.get(C::poseidon2_perm_sel)).is_zero();
+    }
+
+    template <typename ContainerOverSubrelations, typename AllEntities>
+    void static accumulate(ContainerOverSubrelations& evals,
+                           const AllEntities& in,
+                           [[maybe_unused]] const RelationParameters<FF>&,
+                           [[maybe_unused]] const FF& scaling_factor);
+};
+
+template <typename FF> class optimized_poseidon2_perm : public Relation<optimized_poseidon2_permImpl<FF>> {
+  public:
+    static constexpr const std::string_view NAME = "poseidon2_perm";
+
+    static std::string get_subrelation_label(size_t index)
+    {
+        switch (index) {}
+        return std::to_string(index);
+    }
+};
+
+} // namespace bb::avm2