File List

Here is a list of all files with brief descriptions:

[detail level 1234567]

▼ libsnark
▼ common
► data_structures
accumulation_vector.hpp
accumulation_vector.tcc
integer_permutation.cpp
integer_permutation.hpp
merkle_tree.hpp
merkle_tree.tcc
polynomial.hpp
set_commitment.cpp
set_commitment.hpp
set_commitment.tcc
sparse_vector.hpp
sparse_vector.tcc
► default_types
bacs_ppzksnark_pp.hpp
r1cs_gg_ppzksnark_pp.hpp
r1cs_ppzkadsnark_pp.cpp
r1cs_ppzkadsnark_pp.hpp
r1cs_ppzkpcd_pp.cpp
r1cs_ppzkpcd_pp.hpp
r1cs_ppzksnark_pp.hpp
r1cs_se_ppzksnark_pp.hpp
ram_ppzksnark_pp.hpp
ram_zksnark_pp.hpp
tbcs_ppzksnark_pp.hpp
tinyram_ppzksnark_pp.cpp
tinyram_ppzksnark_pp.hpp
tinyram_zksnark_pp.cpp
tinyram_zksnark_pp.hpp
uscs_ppzksnark_pp.hpp
► routing_algorithms
► profiling
profile_routing_algorithms.cpp
as_waksman_routing_algorithm.cpp
as_waksman_routing_algorithm.hpp
benes_routing_algorithm.cpp
benes_routing_algorithm.hpp
libsnark_serialization.hpp
▼ gadgetlib1
► examples
simple_example.hpp
simple_example.tcc
► gadgets
► cpu_checkers
► fooram
► components
bar_gadget.hpp
bar_gadget.tcc
fooram_protoboard.hpp
fooram_protoboard.tcc
► examples
test_fooram.cpp
fooram_cpu_checker.hpp
fooram_cpu_checker.tcc
► tinyram
► components
alu_arithmetic.hpp
alu_arithmetic.tcc
alu_control_flow.hpp
alu_control_flow.tcc
alu_gadget.hpp
alu_gadget.tcc
argument_decoder_gadget.hpp
argument_decoder_gadget.tcc
consistency_enforcer_gadget.hpp
consistency_enforcer_gadget.tcc
memory_masking_gadget.hpp
memory_masking_gadget.tcc
tinyram_protoboard.hpp
tinyram_protoboard.tcc
word_variable_gadget.hpp
tinyram_cpu_checker.hpp
tinyram_cpu_checker.tcc
► curves
scalar_multiplication.hpp
scalar_multiplication.tcc
weierstrass_g1_gadget.hpp
weierstrass_g1_gadget.tcc
weierstrass_g2_gadget.hpp
weierstrass_g2_gadget.tcc
► delegated_ra_memory
memory_load_gadget.hpp
memory_load_store_gadget.hpp
► fields
exponentiation_gadget.hpp
exponentiation_gadget.tcc
fp12_2over3over2_gadgets.hpp
fp12_2over3over2_gadgets.tcc
fp2_gadgets.hpp
fp2_gadgets.tcc
fp3_gadgets.hpp
fp3_gadgets.tcc
fp4_gadgets.hpp
fp4_gadgets.tcc
fp6_2over3_gadgets.hpp
fp6_2over3_gadgets.tcc
fp6_3over2_gadgets.hpp
fp6_3over2_gadgets.tcc
► hashes
► knapsack
knapsack_gadget.hpp
knapsack_gadget.tcc
► sha256
sha256_aux.hpp
sha256_aux.tcc
sha256_components.hpp
sha256_components.tcc
sha256_gadget.hpp
sha256_gadget.tcc
crh_gadget.hpp
digest_selector_gadget.hpp
digest_selector_gadget.tcc
hash_io.hpp
hash_io.tcc
► merkle_tree
merkle_authentication_path_variable.hpp
merkle_authentication_path_variable.tcc
merkle_tree_check_read_gadget.hpp
merkle_tree_check_read_gadget.tcc
merkle_tree_check_update_gadget.hpp
merkle_tree_check_update_gadget.tcc
► pairing
► bw6_761_bls12_377
bls12_377_final_exponentiation.hpp
bls12_377_final_exponentiation.tcc
bls12_377_membership_check_gadgets.hpp
bls12_377_membership_check_gadgets.tcc
bls12_377_miller_loop.hpp
bls12_377_miller_loop.tcc
bls12_377_precomputation.hpp
bls12_377_precomputation.tcc
bw6_761_pairing_params.hpp
► mnt
mnt_final_exponentiation.hpp
mnt_final_exponentiation.tcc
mnt_miller_loop.hpp
mnt_miller_loop.tcc
mnt_pairing_params.hpp
mnt_precomputation.hpp
mnt_precomputation.tcc
pairing_checks.hpp
pairing_checks.tcc
pairing_params.hpp
► routing
► profiling
profile_routing_gadgets.cpp
as_waksman_routing_gadget.hpp
as_waksman_routing_gadget.tcc
benes_routing_gadget.hpp
benes_routing_gadget.tcc
► set_commitment
set_commitment_gadget.hpp
set_commitment_gadget.tcc
set_membership_proof_variable.hpp
set_membership_proof_variable.tcc
► verifiers
kzg10_verifier_gadget.hpp
kzg10_verifier_gadget.tcc
r1cs_gg_ppzksnark_verifier_gadget.hpp
r1cs_gg_ppzksnark_verifier_gadget.tcc
r1cs_ppzksnark_verifier_gadget.hpp
r1cs_ppzksnark_verifier_gadget.tcc
basic_gadgets.hpp
basic_gadgets.tcc
gadget_from_r1cs.hpp
gadget_from_r1cs.tcc
constraint_profiling.cpp
constraint_profiling.hpp
gadget.hpp
gadget.tcc
pb_variable.hpp
pb_variable.tcc
protoboard.hpp
protoboard.tcc
▼ gadgetlib2
► examples
simple_example.cpp
simple_example.hpp
tutorial.cpp
adapters.cpp
adapters.hpp
constraint.cpp
constraint.hpp
gadget.cpp
gadget.hpp
gadgetMacros.hpp
infrastructure.cpp
infrastructure.hpp
integration.cpp
integration.hpp
pp.cpp
pp.hpp
protoboard.cpp
protoboard.hpp
variable.cpp
variable.hpp
variable_operators.hpp
▼ knowledge_commitment
kc_multiexp.hpp
kc_multiexp.tcc
knowledge_commitment.hpp
knowledge_commitment.tcc
▼ polynomial_commitments
bdfg21.hpp
bdfg21.tcc
kzg10.hpp
kzg10.tcc
kzg10_batched.hpp
kzg10_batched.tcc
▼ reductions
► bacs_to_r1cs
bacs_to_r1cs.hpp
bacs_to_r1cs.tcc
► r1cs_to_qap
r1cs_to_qap.hpp
r1cs_to_qap.tcc
► r1cs_to_sap
r1cs_to_sap.hpp
r1cs_to_sap.tcc
► ram_to_r1cs
► examples
demo_arithmetization.cpp
► gadgets
memory_checker_gadget.hpp
memory_checker_gadget.tcc
ram_universal_gadget.hpp
ram_universal_gadget.tcc
trace_lines.hpp
trace_lines.tcc
ram_to_r1cs.hpp
ram_to_r1cs.tcc
► tbcs_to_uscs
tbcs_to_uscs.hpp
tbcs_to_uscs.tcc
► uscs_to_ssp
uscs_to_ssp.hpp
uscs_to_ssp.tcc
▼ relations
► arithmetic_programs
► qap
qap.hpp
qap.tcc
► sap
sap.hpp
sap.tcc
► ssp
ssp.hpp
ssp.tcc
► circuit_satisfaction_problems
► bacs
► examples
bacs_examples.hpp
bacs_examples.tcc
bacs.hpp
bacs.tcc
► tbcs
► examples
tbcs_examples.cpp
tbcs_examples.hpp
tbcs.cpp
tbcs.hpp
► constraint_satisfaction_problems
► r1cs
► examples
r1cs_examples.hpp
r1cs_examples.tcc
r1cs.hpp
r1cs.tcc
► uscs
► examples
uscs_examples.hpp
uscs_examples.tcc
uscs.hpp
uscs.tcc
► ram_computations
► memory
► examples
memory_contents_examples.cpp
memory_contents_examples.hpp
delegated_ra_memory.hpp
delegated_ra_memory.tcc
memory_interface.hpp
memory_store_trace.cpp
memory_store_trace.hpp
ra_memory.cpp
ra_memory.hpp
► rams
► examples
ram_examples.hpp
ram_examples.tcc
► fooram
fooram_aux.cpp
fooram_aux.hpp
fooram_params.hpp
► tinyram
tinyram_aux.cpp
tinyram_aux.hpp
tinyram_params.hpp
ram_params.hpp
variable.hpp
variable.tcc
▼ zk_proof_systems
► pcd
► r1cs_pcd
► compliance_predicate
► examples
tally_cp.hpp
tally_cp.tcc
compliance_predicate.hpp
compliance_predicate.tcc
cp_handler.hpp
cp_handler.tcc
► r1cs_mp_ppzkpcd
► examples
run_r1cs_mp_ppzkpcd.hpp
run_r1cs_mp_ppzkpcd.tcc
► profiling
profile_r1cs_mp_ppzkpcd.cpp
mp_pcd_circuits.hpp
mp_pcd_circuits.tcc
r1cs_mp_ppzkpcd.hpp
r1cs_mp_ppzkpcd.tcc
r1cs_mp_ppzkpcd_params.hpp
► r1cs_sp_ppzkpcd
► examples
run_r1cs_sp_ppzkpcd.hpp
run_r1cs_sp_ppzkpcd.tcc
► profiling
profile_r1cs_sp_ppzkpcd.cpp
r1cs_sp_ppzkpcd.hpp
r1cs_sp_ppzkpcd.tcc
r1cs_sp_ppzkpcd_params.hpp
sp_pcd_circuits.hpp
sp_pcd_circuits.tcc
ppzkpcd_compliance_predicate.hpp
r1cs_pcd_params.hpp
r1cs_pcd_params.tcc
► ppzkadsnark
► r1cs_ppzkadsnark
► examples
► prf
aes_ctr_prf.hpp
aes_ctr_prf.tcc
► signature
ed25519_signature.hpp
ed25519_signature.tcc
demo_r1cs_ppzkadsnark.cpp
run_r1cs_ppzkadsnark.hpp
run_r1cs_ppzkadsnark.tcc
r1cs_ppzkadsnark.hpp
r1cs_ppzkadsnark.tcc
r1cs_ppzkadsnark_params.hpp
r1cs_ppzkadsnark_prf.hpp
r1cs_ppzkadsnark_signature.hpp
► ppzksnark
► bacs_ppzksnark
► examples
run_bacs_ppzksnark.hpp
run_bacs_ppzksnark.tcc
► profiling
profile_bacs_ppzksnark.cpp
bacs_ppzksnark.hpp
bacs_ppzksnark.tcc
bacs_ppzksnark_params.hpp
► r1cs_gg_ppzksnark
► examples
run_r1cs_gg_ppzksnark.hpp
run_r1cs_gg_ppzksnark.tcc
► profiling
profile_r1cs_gg_ppzksnark.cpp
r1cs_gg_ppzksnark.hpp
r1cs_gg_ppzksnark.tcc
r1cs_gg_ppzksnark_params.hpp
► r1cs_ppzksnark
► examples
run_r1cs_ppzksnark.hpp
run_r1cs_ppzksnark.tcc
► profiling
profile_r1cs_ppzksnark.cpp
r1cs_ppzksnark.hpp
r1cs_ppzksnark.tcc
r1cs_ppzksnark_params.hpp
► r1cs_se_ppzksnark
► examples
run_r1cs_se_ppzksnark.hpp
run_r1cs_se_ppzksnark.tcc
► profiling
profile_r1cs_se_ppzksnark.cpp
r1cs_se_ppzksnark.hpp
r1cs_se_ppzksnark.tcc
r1cs_se_ppzksnark_params.hpp
► ram_ppzksnark
► examples
demo_ram_ppzksnark.cpp
demo_ram_ppzksnark_generator.cpp
demo_ram_ppzksnark_prover.cpp
demo_ram_ppzksnark_verifier.cpp
run_ram_ppzksnark.hpp
run_ram_ppzksnark.tcc
► profiling
profile_ram_ppzksnark.cpp
ram_ppzksnark.hpp
ram_ppzksnark.tcc
ram_ppzksnark_params.hpp
► tbcs_ppzksnark
► examples
run_tbcs_ppzksnark.hpp
run_tbcs_ppzksnark.tcc
► profiling
profile_tbcs_ppzksnark.cpp
tbcs_ppzksnark.hpp
tbcs_ppzksnark.tcc
tbcs_ppzksnark_params.hpp
► uscs_ppzksnark
► examples
run_uscs_ppzksnark.hpp
run_uscs_ppzksnark.tcc
► profiling
profile_uscs_ppzksnark.cpp
uscs_ppzksnark.hpp
uscs_ppzksnark.tcc
uscs_ppzksnark_params.hpp
► zksnark
► ram_zksnark
► examples
run_ram_zksnark.hpp
run_ram_zksnark.tcc
► profiling
profile_ram_zksnark.cpp
ram_compliance_predicate.hpp
ram_compliance_predicate.tcc
ram_zksnark.hpp
ram_zksnark.tcc
ram_zksnark_params.hpp