Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
libsnark::ram_to_r1cs< ramT > Member List

This is the complete list of members for libsnark::ram_to_r1cs< ramT >, including all inherited members.

auxiliary_input_map(const ram_boot_trace< ramT > &boot_trace, const ram_input_tape< ramT > &auxiliary_input)libsnark::ram_to_r1cs< ramT >
boot_trace_size_boundlibsnark::ram_to_r1cs< ramT >
FieldT typedeflibsnark::ram_to_r1cs< ramT >
get_constraint_system() constlibsnark::ram_to_r1cs< ramT >
instance_map()libsnark::ram_to_r1cs< ramT >
main_protoboardlibsnark::ram_to_r1cs< ramT >
pack_primary_input_address_and_value(const ram_architecture_params< ramT > &ap, const address_and_value &av)libsnark::ram_to_r1cs< ramT >static
primary_input_map(const ram_architecture_params< ramT > &ap, const size_t boot_trace_size_bound, const ram_boot_trace< ramT > &boot_trace)libsnark::ram_to_r1cs< ramT >static
print_execution_trace() constlibsnark::ram_to_r1cs< ramT >
print_memory_trace() constlibsnark::ram_to_r1cs< ramT >
r1cs_inputlibsnark::ram_to_r1cs< ramT >
ram_to_r1cs(const ram_architecture_params< ramT > &ap, const size_t boot_trace_size_bound, const size_t time_bound)libsnark::ram_to_r1cs< ramT >
universal_gadgetlibsnark::ram_to_r1cs< ramT >