.prettierrc.cjs
CHANGELOG.md
CONTRIBUTING.md
LICENSE
MANIFEST.in
README.md
SECURITY.md
action.yml
package.json
pyproject.toml
.github/ISSUE_TEMPLATE/false-positive.yml
.github/workflows/ci.yml
.github/workflows/publish.yml
bin/noir-scan.js
bin/o1js-scan.js
docs/mina_calibration.md
docs/missing-constraint-taxonomy.md
docs/noir_calibration.md
docs/o1js_team_integration_request.md
docs/post-quantum-threat-model.md
docs/privacy.md
docs/suppression-inversion.md
examples/README.md
examples/noir_constrained.nr
examples/noir_unconstrained.nr
examples/safe_vault.ts
examples/vulnerable_vault.ts
o1js_scan/__init__.py
o1js_scan/cli.py
o1js_scan/lexer.py
o1js_scan/noir.py
o1js_scan/paths.py
o1js_scan/py.typed
o1js_scan/sarif.py
o1js_scan/semantic.py
o1js_scan/vuln.py
o1js_scan.egg-info/PKG-INFO
o1js_scan.egg-info/SOURCES.txt
o1js_scan.egg-info/dependency_links.txt
o1js_scan.egg-info/entry_points.txt
o1js_scan.egg-info/requires.txt
o1js_scan.egg-info/top_level.txt
scripts/aztec_nr_canary.sh
scripts/bump_version.py
scripts/mina_benchmark.sh
scripts/mina_canary.sh
scripts/noirlang_canary.sh
scripts/o1js_release_matrix.sh
scripts/o1js_upstream_canary.sh
scripts/o1js_upstream_report.py
scripts/scan_snapshot.py
scripts/smoke_npm_package.sh
tests/test_cli_lang.py
tests/test_docs_consistency.py
tests/test_lexer.py
tests/test_noir.py
tests/test_noir_corpus.py
tests/test_o1js_corpus.py
tests/test_o1js_upstream_canary.py
tests/test_packaging.py
tests/test_paths.py
tests/test_readme_examples.py
tests/test_sarif.py
tests/test_scan_snapshots.py
tests/test_semantic.py
tests/test_workflow_sanity.py
tests/corpus/noir/fp_array_index_bounded.nr
tests/corpus/noir/fp_array_index_pinned.nr
tests/corpus/noir/fp_bignum_test_helper.nr
tests/corpus/noir/fp_confirm_helper.nr
tests/corpus/noir/fp_jsonparser_index_bitsize.nr
tests/corpus/noir/fp_jsonparser_real_assert.nr
tests/corpus/noir/fp_kernel_deferred.nr
tests/corpus/noir/fp_merkle_tuple.nr
tests/corpus/noir/fp_noirsort_callback.nr
tests/corpus/noir/fp_random_safety.nr
tests/corpus/noir/fp_unconstrained_body_cast.nr
tests/corpus/noir/fp_zkemail_lte_240.nr
tests/corpus/noir/fp_zkpassport_check_helper.nr
tests/corpus/noir/fp_zkpassport_index_cast.nr
tests/corpus/noir/fp_zkpassport_pub_comm.nr
tests/corpus/noir/fp_zkpassport_split_sig.nr
tests/corpus/noir/fp_zkpassport_tuple_nullify.nr
tests/corpus/noir/tp_array_index.nr
tests/corpus/noir/tp_array_index_pinned.nr
tests/corpus/noir/tp_bignum_test_helper.nr
tests/corpus/noir/tp_conditional_constrain.nr
tests/corpus/noir/tp_jsonparser_index_bitsize.nr
tests/corpus/noir/tp_jsonparser_real_assert.nr
tests/corpus/noir/tp_noirsort_callback.nr
tests/corpus/noir/tp_unchecked_cast.nr
tests/corpus/noir/tp_unconstrained_body_cast.nr
tests/corpus/noir/tp_unconstrained_input.nr
tests/corpus/noir/tp_unconstrained_witness.nr
tests/corpus/noir/tp_unused_check.nr
tests/corpus/noir/tp_zkemail_lte_240.nr
tests/corpus/noir/tp_zkpassport_pub_comm.nr
tests/corpus/o1js/fp_guarded_inverse_safe_divisor.ts
tests/corpus/o1js/fp_guarded_inverse_unrelated.ts
tests/corpus/o1js/fp_o1js_test_path.ts
tests/corpus/o1js/fp_precondition_distinct_properties.ts
tests/corpus/o1js/fp_precondition_exclusive_branches.ts
tests/corpus/o1js/fp_precondition_repeated_state_read.ts
tests/corpus/o1js/fp_semantic_alias_helper_chain.ts
tests/corpus/o1js/fp_state_read_modify_write.ts
tests/corpus/o1js/fp_state_write_then_other_read.ts
tests/corpus/o1js/tp_guarded_inverse.ts
tests/corpus/o1js/tp_guarded_inverse_inline.ts
tests/corpus/o1js/tp_o1js_test_path.ts
tests/corpus/o1js/tp_precondition_overwritten.ts
tests/corpus/o1js/tp_regression_mac_unasserted_bool.ts
tests/corpus/o1js/tp_regression_randomina_unverified_proof.ts
tests/corpus/o1js/tp_regression_zklocus_vacuous_assert.ts
tests/corpus/o1js/tp_semantic_alias_helper_chain.ts
tests/corpus/o1js/tp_semantic_compound_constraint.ts
tests/corpus/o1js/tp_semantic_multicontract_scope.ts
tests/corpus/o1js/tp_state_read_after_write.ts
tests/fixtures/mina_benchmark.json
tests/fixtures/o1js_release_matrix.json
tests/npm/wrapper-smoke.js