├── .github └── workflows │ ├── binaries.yml │ └── deploy-mkdocs.yml ├── .gitignore ├── COPYING ├── Cargo.lock ├── Cargo.toml ├── README.md ├── RELEASES.md ├── circom ├── Cargo.toml └── src │ ├── compilation_user.rs │ ├── execution_user.rs │ ├── input_user.rs │ ├── main.rs │ ├── parser_user.rs │ └── type_analysis_user.rs ├── circom_algebra ├── Cargo.toml └── src │ ├── algebra.rs │ ├── constraint_storage │ ├── logic.rs │ └── mod.rs │ ├── lib.rs │ ├── modular_arithmetic.rs │ └── simplification_utils.rs ├── code_producers ├── Cargo.toml └── src │ ├── c_elements │ ├── bls12377 │ │ ├── fr.asm │ │ ├── fr.cpp │ │ └── fr.hpp │ ├── bls12381 │ │ ├── fr.asm │ │ ├── fr.cpp │ │ └── fr.hpp │ ├── bn128 │ │ ├── fr.asm │ │ ├── fr.cpp │ │ └── fr.hpp │ ├── c_code_generator.rs │ ├── common │ │ ├── calcwit.cpp │ │ ├── calcwit.hpp │ │ ├── circom.hpp │ │ ├── main.cpp │ │ └── makefile │ ├── common64 │ │ ├── calcwit.cpp │ │ ├── calcwit.hpp │ │ ├── circom.hpp │ │ ├── json2bin64.cpp │ │ ├── main.cpp │ │ └── makefile │ ├── generic │ │ ├── fr.cpp │ │ ├── fr.hpp │ │ └── makefile │ ├── goldilocks │ │ └── fr.hpp │ ├── grumpkin │ │ ├── fr.asm │ │ ├── fr.cpp │ │ └── fr.hpp │ ├── mod.rs │ ├── pallas │ │ ├── fr.asm │ │ ├── fr.cpp │ │ └── fr.hpp │ ├── secq256r1 │ │ ├── fr.asm │ │ ├── fr.cpp │ │ └── fr.hpp │ └── vesta │ │ ├── fr.asm │ │ ├── fr.cpp │ │ └── fr.hpp │ ├── components │ └── mod.rs │ ├── lib.rs │ └── wasm_elements │ ├── bls12377 │ ├── fr-code.wat │ ├── fr-data.wat │ └── fr-types.wat │ ├── bls12381 │ ├── fr-code.wat │ ├── fr-data.wat │ └── fr-types.wat │ ├── bn128 │ ├── fr-code.wat │ ├── fr-data.wat │ └── fr-types.wat │ ├── common │ ├── generate_witness.js │ ├── utils.js │ └── witness_calculator.js │ ├── goldilocks │ ├── fr-code.wat │ ├── fr-data.wat │ └── fr-types.wat │ ├── grumpkin │ ├── fr-code.wat │ ├── fr-data.wat │ └── fr-types.wat │ ├── mod.rs │ ├── pallas │ ├── fr-code.wat │ ├── fr-data.wat │ └── fr-types.wat │ ├── secq256r1 │ ├── fr-code.wat │ ├── fr-data.wat │ └── fr-types.wat │ ├── vesta │ ├── fr-code.wat │ ├── fr-data.wat │ └── fr-types.wat │ └── wasm_code_generator.rs ├── compiler ├── Cargo.toml └── src │ ├── circuit_design │ ├── build.rs │ ├── circuit.rs │ ├── function.rs │ ├── mod.rs │ ├── template.rs │ └── types.rs │ ├── compiler_interface.rs │ ├── hir │ ├── analysis_utilities.rs │ ├── component_preprocess.rs │ ├── merger.rs │ ├── mod.rs │ ├── sugar_cleaner.rs │ ├── type_inference.rs │ └── very_concrete_program.rs │ ├── intermediate_representation │ ├── address_type.rs │ ├── assert_bucket.rs │ ├── branch_bucket.rs │ ├── call_bucket.rs │ ├── compute_bucket.rs │ ├── create_component_bucket.rs │ ├── ir_interface.rs │ ├── load_bucket.rs │ ├── location_rule.rs │ ├── log_bucket.rs │ ├── loop_bucket.rs │ ├── mod.rs │ ├── return_bucket.rs │ ├── store_bucket.rs │ ├── translate.rs │ ├── types.rs │ └── value_bucket.rs │ ├── ir_processing │ ├── build_inputs_info.rs │ ├── build_stack.rs │ ├── mod.rs │ ├── reduce_stack.rs │ └── set_arena_size.rs │ ├── lib.rs │ └── translating_traits │ └── mod.rs ├── constant_tracking ├── Cargo.toml └── src │ └── lib.rs ├── constraint_generation ├── Cargo.toml └── src │ ├── assignment_utils.rs │ ├── compute_constants.rs │ ├── environment_utils │ ├── bus_representation.rs │ ├── component_representation.rs │ ├── environment.rs │ ├── mod.rs │ └── slice_types.rs │ ├── execute.rs │ ├── execution_data │ ├── analysis.rs │ ├── executed_bus.rs │ ├── executed_program.rs │ ├── executed_template.rs │ ├── filters.rs │ ├── mod.rs │ └── type_definitions.rs │ └── lib.rs ├── constraint_list ├── Cargo.toml └── src │ ├── constraint_simplification.rs │ ├── json_porting.rs │ ├── lib.rs │ ├── non_linear_simplification.rs │ ├── non_linear_utils.rs │ ├── r1cs_porting.rs │ ├── state_utils.rs │ └── sym_porting.rs ├── constraint_writers ├── Cargo.toml └── src │ ├── debug_writer.rs │ ├── json_writer.rs │ ├── lib.rs │ ├── log_writer.rs │ ├── r1cs_reader.rs │ ├── r1cs_writer.rs │ └── sym_writer.rs ├── dag ├── Cargo.toml └── src │ ├── constraint_correctness_analysis.rs │ ├── json_porting.rs │ ├── lib.rs │ ├── map_to_constraint_list.rs │ ├── r1cs_porting.rs │ ├── statistics_porting.rs │ ├── sym_porting.rs │ └── witness_producer.rs ├── mkdocs ├── README-MKDOCS.md ├── TODO.md ├── docs │ ├── CNAME │ ├── background │ │ └── background.md │ ├── circom-language │ │ ├── anonymous-components-and-tuples.md │ │ ├── basic-operators.md │ │ ├── buses.md │ │ ├── circom-insight │ │ │ ├── circom-library.md │ │ │ ├── circom-phases.md │ │ │ ├── compiler-messages.md │ │ │ ├── simplification.md │ │ │ └── unknowns.md │ │ ├── code-quality │ │ │ ├── code-assertion.md │ │ │ ├── debugging-operations.md │ │ │ └── inspect.md │ │ ├── comment-lines.md │ │ ├── constraint-generation.md │ │ ├── control-flow.md │ │ ├── custom-templates-snarkjs.md │ │ ├── data-types.md │ │ ├── formats │ │ │ ├── constraints-json.md │ │ │ ├── simplification-json.md │ │ │ └── sym.md │ │ ├── functions.md │ │ ├── identifiers.md │ │ ├── include.md │ │ ├── pragma.md │ │ ├── reserved-keywords.md │ │ ├── scoping.md │ │ ├── signals.md │ │ ├── tags.md │ │ ├── templates-and-components.md │ │ ├── the-main-component.md │ │ └── variables-and-mutability.md │ ├── circom-logo-black.png │ ├── downloads │ │ └── downloads.md │ ├── getting-started │ │ ├── compilation-options.md │ │ ├── compiling-circuits.md │ │ ├── computing-the-witness.md │ │ ├── installation.md │ │ ├── proving-circuits.md │ │ ├── testing-circuits.md │ │ └── writing-circuits.md │ ├── index.md │ └── more-circuits │ │ └── more-basic-circuits.md └── mkdocs.yml ├── parser ├── Cargo.toml ├── build.rs └── src │ ├── include_logic.rs │ ├── lang.lalrpop │ ├── lib.rs │ ├── parser_logic.rs │ └── syntax_sugar_remover.rs ├── program_structure ├── Cargo.toml └── src │ ├── abstract_syntax_tree │ ├── assign_op_impl.rs │ ├── ast.rs │ ├── ast_impl.rs │ ├── ast_shortcuts.rs │ ├── expression_builders.rs │ ├── expression_impl.rs │ ├── mod.rs │ ├── statement_builders.rs │ └── statement_impl.rs │ ├── lib.rs │ ├── program_library │ ├── bus_data.rs │ ├── error_code.rs │ ├── error_definition.rs │ ├── file_definition.rs │ ├── function_data.rs │ ├── mod.rs │ ├── program_archive.rs │ ├── program_merger.rs │ ├── template_data.rs │ └── wire_data.rs │ └── utils │ ├── constants.rs │ ├── environment.rs │ ├── memory_slice.rs │ └── mod.rs ├── rustfmt.toml └── type_analysis ├── Cargo.toml └── src ├── analyzers ├── buses_free_of_invalid_statements.rs ├── custom_gate_analysis.rs ├── functions_all_paths_with_return_statement.rs ├── functions_free_of_template_elements.rs ├── mod.rs ├── no_returns_in_template.rs ├── signal_declaration_analysis.rs ├── symbol_analysis.rs ├── tag_analysis.rs ├── type_check.rs ├── type_given_function.rs ├── type_register.rs └── unknown_known_analysis.rs ├── check_types.rs ├── decorators ├── component_type_inference.rs ├── constants_handler.rs ├── mod.rs └── type_reduction.rs └── lib.rs /.github/workflows/binaries.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/.github/workflows/binaries.yml -------------------------------------------------------------------------------- /.github/workflows/deploy-mkdocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/.github/workflows/deploy-mkdocs.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/.gitignore -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/COPYING -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/README.md -------------------------------------------------------------------------------- /RELEASES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/RELEASES.md -------------------------------------------------------------------------------- /circom/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom/Cargo.toml -------------------------------------------------------------------------------- /circom/src/compilation_user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom/src/compilation_user.rs -------------------------------------------------------------------------------- /circom/src/execution_user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom/src/execution_user.rs -------------------------------------------------------------------------------- /circom/src/input_user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom/src/input_user.rs -------------------------------------------------------------------------------- /circom/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom/src/main.rs -------------------------------------------------------------------------------- /circom/src/parser_user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom/src/parser_user.rs -------------------------------------------------------------------------------- /circom/src/type_analysis_user.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom/src/type_analysis_user.rs -------------------------------------------------------------------------------- /circom_algebra/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom_algebra/Cargo.toml -------------------------------------------------------------------------------- /circom_algebra/src/algebra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom_algebra/src/algebra.rs -------------------------------------------------------------------------------- /circom_algebra/src/constraint_storage/logic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom_algebra/src/constraint_storage/logic.rs -------------------------------------------------------------------------------- /circom_algebra/src/constraint_storage/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom_algebra/src/constraint_storage/mod.rs -------------------------------------------------------------------------------- /circom_algebra/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom_algebra/src/lib.rs -------------------------------------------------------------------------------- /circom_algebra/src/modular_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom_algebra/src/modular_arithmetic.rs -------------------------------------------------------------------------------- /circom_algebra/src/simplification_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/circom_algebra/src/simplification_utils.rs -------------------------------------------------------------------------------- /code_producers/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/Cargo.toml -------------------------------------------------------------------------------- /code_producers/src/c_elements/bls12377/fr.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bls12377/fr.asm -------------------------------------------------------------------------------- /code_producers/src/c_elements/bls12377/fr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bls12377/fr.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/bls12377/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bls12377/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/bls12381/fr.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bls12381/fr.asm -------------------------------------------------------------------------------- /code_producers/src/c_elements/bls12381/fr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bls12381/fr.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/bls12381/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bls12381/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/bn128/fr.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bn128/fr.asm -------------------------------------------------------------------------------- /code_producers/src/c_elements/bn128/fr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bn128/fr.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/bn128/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/bn128/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/c_code_generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/c_code_generator.rs -------------------------------------------------------------------------------- /code_producers/src/c_elements/common/calcwit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common/calcwit.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common/calcwit.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common/calcwit.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common/circom.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common/circom.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common/main.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common/makefile -------------------------------------------------------------------------------- /code_producers/src/c_elements/common64/calcwit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common64/calcwit.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common64/calcwit.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common64/calcwit.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common64/circom.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common64/circom.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common64/json2bin64.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common64/json2bin64.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common64/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common64/main.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/common64/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/common64/makefile -------------------------------------------------------------------------------- /code_producers/src/c_elements/generic/fr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/generic/fr.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/generic/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/generic/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/generic/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/generic/makefile -------------------------------------------------------------------------------- /code_producers/src/c_elements/goldilocks/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/goldilocks/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/grumpkin/fr.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/grumpkin/fr.asm -------------------------------------------------------------------------------- /code_producers/src/c_elements/grumpkin/fr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/grumpkin/fr.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/grumpkin/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/grumpkin/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/mod.rs -------------------------------------------------------------------------------- /code_producers/src/c_elements/pallas/fr.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/pallas/fr.asm -------------------------------------------------------------------------------- /code_producers/src/c_elements/pallas/fr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/pallas/fr.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/pallas/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/pallas/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/secq256r1/fr.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/secq256r1/fr.asm -------------------------------------------------------------------------------- /code_producers/src/c_elements/secq256r1/fr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/secq256r1/fr.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/secq256r1/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/secq256r1/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/vesta/fr.asm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/vesta/fr.asm -------------------------------------------------------------------------------- /code_producers/src/c_elements/vesta/fr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/vesta/fr.cpp -------------------------------------------------------------------------------- /code_producers/src/c_elements/vesta/fr.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/c_elements/vesta/fr.hpp -------------------------------------------------------------------------------- /code_producers/src/components/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/components/mod.rs -------------------------------------------------------------------------------- /code_producers/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/lib.rs -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bls12377/fr-code.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bls12377/fr-code.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bls12377/fr-data.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bls12377/fr-data.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bls12377/fr-types.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bls12377/fr-types.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bls12381/fr-code.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bls12381/fr-code.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bls12381/fr-data.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bls12381/fr-data.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bls12381/fr-types.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bls12381/fr-types.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bn128/fr-code.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bn128/fr-code.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bn128/fr-data.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bn128/fr-data.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/bn128/fr-types.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/bn128/fr-types.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/common/generate_witness.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/common/generate_witness.js -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/common/utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/common/utils.js -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/common/witness_calculator.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/common/witness_calculator.js -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/goldilocks/fr-code.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/goldilocks/fr-code.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/goldilocks/fr-data.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/goldilocks/fr-data.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/goldilocks/fr-types.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/goldilocks/fr-types.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/grumpkin/fr-code.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/grumpkin/fr-code.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/grumpkin/fr-data.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/grumpkin/fr-data.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/grumpkin/fr-types.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/grumpkin/fr-types.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/mod.rs -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/pallas/fr-code.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/pallas/fr-code.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/pallas/fr-data.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/pallas/fr-data.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/pallas/fr-types.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/pallas/fr-types.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/secq256r1/fr-code.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/secq256r1/fr-code.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/secq256r1/fr-data.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/secq256r1/fr-data.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/secq256r1/fr-types.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/secq256r1/fr-types.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/vesta/fr-code.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/vesta/fr-code.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/vesta/fr-data.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/vesta/fr-data.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/vesta/fr-types.wat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/vesta/fr-types.wat -------------------------------------------------------------------------------- /code_producers/src/wasm_elements/wasm_code_generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/code_producers/src/wasm_elements/wasm_code_generator.rs -------------------------------------------------------------------------------- /compiler/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/Cargo.toml -------------------------------------------------------------------------------- /compiler/src/circuit_design/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/circuit_design/build.rs -------------------------------------------------------------------------------- /compiler/src/circuit_design/circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/circuit_design/circuit.rs -------------------------------------------------------------------------------- /compiler/src/circuit_design/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/circuit_design/function.rs -------------------------------------------------------------------------------- /compiler/src/circuit_design/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/circuit_design/mod.rs -------------------------------------------------------------------------------- /compiler/src/circuit_design/template.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/circuit_design/template.rs -------------------------------------------------------------------------------- /compiler/src/circuit_design/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/circuit_design/types.rs -------------------------------------------------------------------------------- /compiler/src/compiler_interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/compiler_interface.rs -------------------------------------------------------------------------------- /compiler/src/hir/analysis_utilities.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/hir/analysis_utilities.rs -------------------------------------------------------------------------------- /compiler/src/hir/component_preprocess.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/hir/component_preprocess.rs -------------------------------------------------------------------------------- /compiler/src/hir/merger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/hir/merger.rs -------------------------------------------------------------------------------- /compiler/src/hir/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/hir/mod.rs -------------------------------------------------------------------------------- /compiler/src/hir/sugar_cleaner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/hir/sugar_cleaner.rs -------------------------------------------------------------------------------- /compiler/src/hir/type_inference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/hir/type_inference.rs -------------------------------------------------------------------------------- /compiler/src/hir/very_concrete_program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/hir/very_concrete_program.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/address_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/address_type.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/assert_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/assert_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/branch_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/branch_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/call_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/call_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/compute_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/compute_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/create_component_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/create_component_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/ir_interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/ir_interface.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/load_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/load_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/location_rule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/location_rule.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/log_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/log_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/loop_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/loop_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/mod.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/return_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/return_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/store_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/store_bucket.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/translate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/translate.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/types.rs -------------------------------------------------------------------------------- /compiler/src/intermediate_representation/value_bucket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/intermediate_representation/value_bucket.rs -------------------------------------------------------------------------------- /compiler/src/ir_processing/build_inputs_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/ir_processing/build_inputs_info.rs -------------------------------------------------------------------------------- /compiler/src/ir_processing/build_stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/ir_processing/build_stack.rs -------------------------------------------------------------------------------- /compiler/src/ir_processing/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/ir_processing/mod.rs -------------------------------------------------------------------------------- /compiler/src/ir_processing/reduce_stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/ir_processing/reduce_stack.rs -------------------------------------------------------------------------------- /compiler/src/ir_processing/set_arena_size.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/ir_processing/set_arena_size.rs -------------------------------------------------------------------------------- /compiler/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/lib.rs -------------------------------------------------------------------------------- /compiler/src/translating_traits/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/compiler/src/translating_traits/mod.rs -------------------------------------------------------------------------------- /constant_tracking/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constant_tracking/Cargo.toml -------------------------------------------------------------------------------- /constant_tracking/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constant_tracking/src/lib.rs -------------------------------------------------------------------------------- /constraint_generation/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/Cargo.toml -------------------------------------------------------------------------------- /constraint_generation/src/assignment_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/assignment_utils.rs -------------------------------------------------------------------------------- /constraint_generation/src/compute_constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/compute_constants.rs -------------------------------------------------------------------------------- /constraint_generation/src/environment_utils/bus_representation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/environment_utils/bus_representation.rs -------------------------------------------------------------------------------- /constraint_generation/src/environment_utils/component_representation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/environment_utils/component_representation.rs -------------------------------------------------------------------------------- /constraint_generation/src/environment_utils/environment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/environment_utils/environment.rs -------------------------------------------------------------------------------- /constraint_generation/src/environment_utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/environment_utils/mod.rs -------------------------------------------------------------------------------- /constraint_generation/src/environment_utils/slice_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/environment_utils/slice_types.rs -------------------------------------------------------------------------------- /constraint_generation/src/execute.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/execute.rs -------------------------------------------------------------------------------- /constraint_generation/src/execution_data/analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/execution_data/analysis.rs -------------------------------------------------------------------------------- /constraint_generation/src/execution_data/executed_bus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/execution_data/executed_bus.rs -------------------------------------------------------------------------------- /constraint_generation/src/execution_data/executed_program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/execution_data/executed_program.rs -------------------------------------------------------------------------------- /constraint_generation/src/execution_data/executed_template.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/execution_data/executed_template.rs -------------------------------------------------------------------------------- /constraint_generation/src/execution_data/filters.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/execution_data/filters.rs -------------------------------------------------------------------------------- /constraint_generation/src/execution_data/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/execution_data/mod.rs -------------------------------------------------------------------------------- /constraint_generation/src/execution_data/type_definitions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/execution_data/type_definitions.rs -------------------------------------------------------------------------------- /constraint_generation/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_generation/src/lib.rs -------------------------------------------------------------------------------- /constraint_list/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/Cargo.toml -------------------------------------------------------------------------------- /constraint_list/src/constraint_simplification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/src/constraint_simplification.rs -------------------------------------------------------------------------------- /constraint_list/src/json_porting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/src/json_porting.rs -------------------------------------------------------------------------------- /constraint_list/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/src/lib.rs -------------------------------------------------------------------------------- /constraint_list/src/non_linear_simplification.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/src/non_linear_simplification.rs -------------------------------------------------------------------------------- /constraint_list/src/non_linear_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/src/non_linear_utils.rs -------------------------------------------------------------------------------- /constraint_list/src/r1cs_porting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/src/r1cs_porting.rs -------------------------------------------------------------------------------- /constraint_list/src/state_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/src/state_utils.rs -------------------------------------------------------------------------------- /constraint_list/src/sym_porting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_list/src/sym_porting.rs -------------------------------------------------------------------------------- /constraint_writers/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_writers/Cargo.toml -------------------------------------------------------------------------------- /constraint_writers/src/debug_writer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_writers/src/debug_writer.rs -------------------------------------------------------------------------------- /constraint_writers/src/json_writer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_writers/src/json_writer.rs -------------------------------------------------------------------------------- /constraint_writers/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_writers/src/lib.rs -------------------------------------------------------------------------------- /constraint_writers/src/log_writer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_writers/src/log_writer.rs -------------------------------------------------------------------------------- /constraint_writers/src/r1cs_reader.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_writers/src/r1cs_reader.rs -------------------------------------------------------------------------------- /constraint_writers/src/r1cs_writer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_writers/src/r1cs_writer.rs -------------------------------------------------------------------------------- /constraint_writers/src/sym_writer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/constraint_writers/src/sym_writer.rs -------------------------------------------------------------------------------- /dag/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/Cargo.toml -------------------------------------------------------------------------------- /dag/src/constraint_correctness_analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/src/constraint_correctness_analysis.rs -------------------------------------------------------------------------------- /dag/src/json_porting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/src/json_porting.rs -------------------------------------------------------------------------------- /dag/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/src/lib.rs -------------------------------------------------------------------------------- /dag/src/map_to_constraint_list.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/src/map_to_constraint_list.rs -------------------------------------------------------------------------------- /dag/src/r1cs_porting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/src/r1cs_porting.rs -------------------------------------------------------------------------------- /dag/src/statistics_porting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/src/statistics_porting.rs -------------------------------------------------------------------------------- /dag/src/sym_porting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/src/sym_porting.rs -------------------------------------------------------------------------------- /dag/src/witness_producer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/dag/src/witness_producer.rs -------------------------------------------------------------------------------- /mkdocs/README-MKDOCS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/README-MKDOCS.md -------------------------------------------------------------------------------- /mkdocs/TODO.md: -------------------------------------------------------------------------------- 1 | - Generate a PDF 2 | - Latex in markdown 3 | -------------------------------------------------------------------------------- /mkdocs/docs/CNAME: -------------------------------------------------------------------------------- 1 | docs.circom.io 2 | -------------------------------------------------------------------------------- /mkdocs/docs/background/background.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/background/background.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/anonymous-components-and-tuples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/anonymous-components-and-tuples.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/basic-operators.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/basic-operators.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/buses.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/buses.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/circom-insight/circom-library.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/circom-insight/circom-library.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/circom-insight/circom-phases.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/circom-insight/circom-phases.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/circom-insight/compiler-messages.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/circom-insight/compiler-messages.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/circom-insight/simplification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/circom-insight/simplification.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/circom-insight/unknowns.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/circom-insight/unknowns.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/code-quality/code-assertion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/code-quality/code-assertion.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/code-quality/debugging-operations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/code-quality/debugging-operations.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/code-quality/inspect.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/code-quality/inspect.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/comment-lines.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/comment-lines.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/constraint-generation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/constraint-generation.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/control-flow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/control-flow.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/custom-templates-snarkjs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/custom-templates-snarkjs.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/data-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/data-types.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/formats/constraints-json.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/formats/constraints-json.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/formats/simplification-json.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/formats/simplification-json.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/formats/sym.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/formats/sym.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/functions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/functions.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/identifiers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/identifiers.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/include.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/include.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/pragma.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/pragma.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/reserved-keywords.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/reserved-keywords.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/scoping.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/scoping.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/signals.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/signals.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/tags.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/tags.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/templates-and-components.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/templates-and-components.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/the-main-component.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/the-main-component.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-language/variables-and-mutability.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-language/variables-and-mutability.md -------------------------------------------------------------------------------- /mkdocs/docs/circom-logo-black.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/circom-logo-black.png -------------------------------------------------------------------------------- /mkdocs/docs/downloads/downloads.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/downloads/downloads.md -------------------------------------------------------------------------------- /mkdocs/docs/getting-started/compilation-options.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/getting-started/compilation-options.md -------------------------------------------------------------------------------- /mkdocs/docs/getting-started/compiling-circuits.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/getting-started/compiling-circuits.md -------------------------------------------------------------------------------- /mkdocs/docs/getting-started/computing-the-witness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/getting-started/computing-the-witness.md -------------------------------------------------------------------------------- /mkdocs/docs/getting-started/installation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/getting-started/installation.md -------------------------------------------------------------------------------- /mkdocs/docs/getting-started/proving-circuits.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/getting-started/proving-circuits.md -------------------------------------------------------------------------------- /mkdocs/docs/getting-started/testing-circuits.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/getting-started/testing-circuits.md -------------------------------------------------------------------------------- /mkdocs/docs/getting-started/writing-circuits.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/getting-started/writing-circuits.md -------------------------------------------------------------------------------- /mkdocs/docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/index.md -------------------------------------------------------------------------------- /mkdocs/docs/more-circuits/more-basic-circuits.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/docs/more-circuits/more-basic-circuits.md -------------------------------------------------------------------------------- /mkdocs/mkdocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/mkdocs/mkdocs.yml -------------------------------------------------------------------------------- /parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/parser/Cargo.toml -------------------------------------------------------------------------------- /parser/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/parser/build.rs -------------------------------------------------------------------------------- /parser/src/include_logic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/parser/src/include_logic.rs -------------------------------------------------------------------------------- /parser/src/lang.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/parser/src/lang.lalrpop -------------------------------------------------------------------------------- /parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/parser/src/lib.rs -------------------------------------------------------------------------------- /parser/src/parser_logic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/parser/src/parser_logic.rs -------------------------------------------------------------------------------- /parser/src/syntax_sugar_remover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/parser/src/syntax_sugar_remover.rs -------------------------------------------------------------------------------- /program_structure/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/Cargo.toml -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/assign_op_impl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/assign_op_impl.rs -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/ast.rs -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/ast_impl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/ast_impl.rs -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/ast_shortcuts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/ast_shortcuts.rs -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/expression_builders.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/expression_builders.rs -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/expression_impl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/expression_impl.rs -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/mod.rs -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/statement_builders.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/statement_builders.rs -------------------------------------------------------------------------------- /program_structure/src/abstract_syntax_tree/statement_impl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/abstract_syntax_tree/statement_impl.rs -------------------------------------------------------------------------------- /program_structure/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/lib.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/bus_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/bus_data.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/error_code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/error_code.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/error_definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/error_definition.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/file_definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/file_definition.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/function_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/function_data.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/mod.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/program_archive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/program_archive.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/program_merger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/program_merger.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/template_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/template_data.rs -------------------------------------------------------------------------------- /program_structure/src/program_library/wire_data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/program_library/wire_data.rs -------------------------------------------------------------------------------- /program_structure/src/utils/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/utils/constants.rs -------------------------------------------------------------------------------- /program_structure/src/utils/environment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/utils/environment.rs -------------------------------------------------------------------------------- /program_structure/src/utils/memory_slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/utils/memory_slice.rs -------------------------------------------------------------------------------- /program_structure/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/program_structure/src/utils/mod.rs -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /type_analysis/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/Cargo.toml -------------------------------------------------------------------------------- /type_analysis/src/analyzers/buses_free_of_invalid_statements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/buses_free_of_invalid_statements.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/custom_gate_analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/custom_gate_analysis.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/functions_all_paths_with_return_statement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/functions_all_paths_with_return_statement.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/functions_free_of_template_elements.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/functions_free_of_template_elements.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/mod.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/no_returns_in_template.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/no_returns_in_template.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/signal_declaration_analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/signal_declaration_analysis.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/symbol_analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/symbol_analysis.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/tag_analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/tag_analysis.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/type_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/type_check.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/type_given_function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/type_given_function.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/type_register.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/type_register.rs -------------------------------------------------------------------------------- /type_analysis/src/analyzers/unknown_known_analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/analyzers/unknown_known_analysis.rs -------------------------------------------------------------------------------- /type_analysis/src/check_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/check_types.rs -------------------------------------------------------------------------------- /type_analysis/src/decorators/component_type_inference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/decorators/component_type_inference.rs -------------------------------------------------------------------------------- /type_analysis/src/decorators/constants_handler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/decorators/constants_handler.rs -------------------------------------------------------------------------------- /type_analysis/src/decorators/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/decorators/mod.rs -------------------------------------------------------------------------------- /type_analysis/src/decorators/type_reduction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/decorators/type_reduction.rs -------------------------------------------------------------------------------- /type_analysis/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/iden3/circom/HEAD/type_analysis/src/lib.rs --------------------------------------------------------------------------------