Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
keccak.test.cpp File Reference

Go to the source code of this file.

Typedefs

using Builder = UltraCircuitBuilder
 
using byte_array = stdlib::byte_array< Builder >
 
using public_witness_t = stdlib::public_witness_t< Builder >
 
using field_ct = stdlib::field_t< Builder >
 
using witness_ct = stdlib::witness_t< Builder >
 

Functions

 TEST (stdlib_keccak, keccak_format_input_table)
 
 TEST (stdlib_keccak, keccak_format_output_table)
 
 TEST (stdlib_keccak, keccak_theta_output_table)
 
 TEST (stdlib_keccak, keccak_rho_output_table)
 
 TEST (stdlib_keccak, keccak_chi_output_table)
 
 TEST (stdlib_keccak, permutation_opcode)
 

Typedef Documentation

◆ Builder

Definition at line 10 of file keccak.test.cpp.

◆ byte_array

Definition at line 11 of file keccak.test.cpp.

◆ field_ct

Definition at line 13 of file keccak.test.cpp.

◆ public_witness_t

Definition at line 12 of file keccak.test.cpp.

◆ witness_ct

Definition at line 14 of file keccak.test.cpp.

Function Documentation

◆ TEST() [1/6]

TEST ( stdlib_keccak  ,
keccak_chi_output_table   
)

Definition at line 103 of file keccak.test.cpp.

◆ TEST() [2/6]

TEST ( stdlib_keccak  ,
keccak_format_input_table   
)

Definition at line 20 of file keccak.test.cpp.

◆ TEST() [3/6]

TEST ( stdlib_keccak  ,
keccak_format_output_table   
)

Definition at line 34 of file keccak.test.cpp.

◆ TEST() [4/6]

TEST ( stdlib_keccak  ,
keccak_rho_output_table   
)

Definition at line 66 of file keccak.test.cpp.

◆ TEST() [5/6]

TEST ( stdlib_keccak  ,
keccak_theta_output_table   
)

Definition at line 48 of file keccak.test.cpp.

◆ TEST() [6/6]

TEST ( stdlib_keccak  ,
permutation_opcode   
)

Definition at line 140 of file keccak.test.cpp.