c_bind.cpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Sergei], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#include "c_bind.hpp"
 
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/mem.hpp"
#include "barretenberg/common/serialize.hpp"
#include "poseidon2.hpp"
#include <algorithm>
 
using namespace bb;
 
WASM_EXPORT void poseidon2_hash(fr::vec_in_buf inputs_buffer, fr::out_buf output)
{
    std::vector<fr> to_hash;
    read(inputs_buffer, to_hash);
    auto r = crypto::Poseidon2<crypto::Poseidon2Bn254ScalarFieldParams>::hash(to_hash);
    fr::serialize_to_buffer(r, output);
}
 
WASM_EXPORT void poseidon2_permutation(fr::vec_in_buf inputs_buffer, fr::vec_out_buf output)
{
    using Permutation = crypto::Poseidon2Permutation<crypto::Poseidon2Bn254ScalarFieldParams>;
 
    // Serialise input vector.
    std::vector<fr> to_permute;
    read(inputs_buffer, to_permute);
 
    // Permutation requires exactly t=4 input elements
    BB_ASSERT(to_permute.size() == Permutation::t, "poseidon2_permutation input must have exactly 4 elements");
 
    // Copy input vector into Permutation::State (which is an std::array).
    Permutation::State input_state;
    std::ranges::copy(to_permute, input_state.data());
 
    Permutation::State results_array = Permutation::permutation(input_state);
 
    const std::vector<fr> results(results_array.begin(), results_array.end());
    *output = to_heap_buffer(results);
}