circomspect
A static analyzer and linter for the Circom zero-knowledge DSL
파일 탐색기
최종 버전 다운로드 (.zip)- ci.yml
- lib.rs
- modular_arithmetic.rs
- Cargo.toml
- main.rs
- Cargo.toml
- analysis_passes.md
- circomspect.png
- demo.cast
- demo.gif
- vscode.png
- errors.rs
- include_logic.rs
- lang.lalrpop
- lib.rs
- parser_logic.rs
- syntax_sugar_remover.rs
- syntax_sugar_traits.rs
- build.rs
- Cargo.toml
- analysis_context.rs
- analysis_runner.rs
- bitwise_complement.rs
- bn254_specific_circuit.rs
- config.rs
- constant_conditional.rs
- constraint_analysis.rs
- definition_complexity.rs
- field_arithmetic.rs
- field_comparisons.rs
- lib.rs
- nonstrict_binary_conversion.rs
- side_effect_analysis.rs
- signal_assignments.rs
- taint_analysis.rs
- unconstrained_division.rs
- unconstrained_less_than.rs
- under_constrained_signals.rs
- unused_output_signal.rs
- Cargo.toml
- 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
- basic_block.rs
- cfg.rs
- errors.rs
- lifting.rs
- mod.rs
- parameters.rs
- ssa_impl.rs
- unique_vars.rs
- declarations.rs
- degree_meta.rs
- errors.rs
- expression_impl.rs
- ir.rs
- lifting.rs
- mod.rs
- statement_impl.rs
- type_meta.rs
- value_meta.rs
- variable_meta.rs
- file_definition.rs
- function_data.rs
- mod.rs
- program_archive.rs
- program_merger.rs
- report.rs
- report_code.rs
- template_data.rs
- template_library.rs
- dominator_tree.rs
- errors.rs
- mod.rs
- traits.rs
- constants.rs
- environment.rs
- mod.rs
- nonempty_vec.rs
- sarif_conversion.rs
- writers.rs
- lib.rs
- Cargo.toml
- control_flow_graph.rs
- lib.rs
- static_single_assignment.rs
- Cargo.toml
- .gitignore
- .pre-commit-config.yaml
- .rustfmt.toml
- Cargo.lock
- Cargo.toml
- CHANGELOG.md
- CODEOWNERS
- LICENSE
- README.md
- TODO.md
// repository documentation
Was this content helpful?
(0 ratings)