blake2s.test.cpp

Go to the documentation of this file.

#include "barretenberg/crypto/blake2s/blake2s.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "blake2s.hpp"
#include <gtest/gtest.h>
 
using namespace bb;
using namespace bb::stdlib;
 
using Builder = UltraCircuitBuilder;
 
using field_ct = field_t<Builder>;
using witness_ct = witness_t<Builder>;
using byte_array_ct = byte_array<Builder>;
using byte_array_plookup = byte_array<Builder>;
using public_witness_t = public_witness_t<Builder>;
 
TEST(stdlib_blake2s, test_single_block_plookup)
{
    Builder builder;
    std::string input = "abcdefghijklmnopqrstuvwxyz0123456789abcdefghijklmnopqrstuvwxyz01";
    std::vector<uint8_t> input_v(input.begin(), input.end());
 
    byte_array_plookup input_arr(&builder, input_v);
    byte_array_plookup output = stdlib::Blake2s<Builder>::hash(input_arr);
 
    auto expected = crypto::blake2s(input_v);
 
    EXPECT_EQ(output.get_value(), std::vector<uint8_t>(expected.begin(), expected.end()));
 
    info("builder gates = ", builder.get_estimated_num_finalized_gates());
 
    bool proof_result = CircuitChecker::check(builder);
    EXPECT_EQ(proof_result, true);
}
 
TEST(stdlib_blake2s, test_double_block_plookup)
{
    Builder builder;
    std::string input = "abcdefghijklmnopqrstuvwxyz0123456789abcdefghijklmnopqrstuvwxyz0123456789";
    std::vector<uint8_t> input_v(input.begin(), input.end());
 
    byte_array_plookup input_arr(&builder, input_v);
    byte_array_plookup output = stdlib::Blake2s<Builder>::hash(input_arr);
 
    auto expected = crypto::blake2s(input_v);
 
    EXPECT_EQ(output.get_value(), std::vector<uint8_t>(expected.begin(), expected.end()));
 
    info("builder gates = ", builder.get_estimated_num_finalized_gates());
 
    bool proof_result = CircuitChecker::check(builder);
    EXPECT_EQ(proof_result, true);
}