Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
log.hpp File Reference
#include <cstdint>
#include <iostream>
#include <vector>

Go to the source code of this file.

Functions

void write_bytes_to_stdout (const std::vector< uint8_t > &data)
 Writes raw bytes of the vector to stdout.
 
void writeUint64AsRawBytesToStdout (uint64_t value)
 Writes a uint64_t to stdout in little endian format.
 

Function Documentation

◆ write_bytes_to_stdout()

void write_bytes_to_stdout ( const std::vector< uint8_t > &  data)
inline

Writes raw bytes of the vector to stdout.

Note: std::cout << byte is not being used here because that always prints the numerical value. << can also apply formatting and seems is not the appropriate way to write raw bytes to stdout.

Example:

uint8_t byte = 'A' std::cout << byte; // prints 65 std::cout.put(byte); // prints 'A'

Parameters
dataThe raw bytes that we want to write to stdout

Definition at line 21 of file log.hpp.

◆ writeUint64AsRawBytesToStdout()

void writeUint64AsRawBytesToStdout ( uint64_t  value)
inline

Writes a uint64_t to stdout in little endian format.

Parameters
valueThe value to be written to stdout

Definition at line 34 of file log.hpp.