Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(abi)!: add an explicit mapping from ABI params to witness indices #851

Merged
merged 28 commits into from
Feb 17, 2023
Merged

feat(abi)!: add an explicit mapping from ABI params to witness indices #851

merged 28 commits into from
Feb 17, 2023

Commits on Feb 15, 2023

  1. feat: track all parameter witnesses in evaluator

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    2f68fe8 View commit details
    Browse the repository at this point in the history

  2. chore: use explicit witness map for encoding/decoding witness map

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    73a083e View commit details
    Browse the repository at this point in the history

  3. chore: move param_witnesses to be stored within ABI

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    123f09d View commit details
    Browse the repository at this point in the history

  4. feat: create separate methods for encoding to a witness vs verifier i… 

    …nputs
    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    0f829ed View commit details
    Browse the repository at this point in the history

  5. chore: move encode_value and decode_value back inside Abi's impl

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    f3a78f6 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into abi-to-witness-map 

    * master:
  chore(ssa): Predicate for store instruction (#829)
  feat(std_lib): println statements (#630)
  chore(ci): Make Kev the committer on release lockfile updates (#845)
  feat(stdlib): Add higher order array functions (#833)
  chore(ssa): Remove values from array type (#771)
    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    9630143 View commit details
    Browse the repository at this point in the history

  7. chore: remove clone from encode_to_witness

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    e301a6d View commit details
    Browse the repository at this point in the history

  8. chore: use try_btree_map instead of unwrapping

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    03d63c1 View commit details
    Browse the repository at this point in the history

  9. feat: check for unexpected inputs when encoding a witness

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    067a711 View commit details
    Browse the repository at this point in the history

  10. chore: use InputMap and WitnessMap types in ABI

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    876a938 View commit details
    Browse the repository at this point in the history

  11. chore: update stale comment

    @TomAFrench
    TomAFrench committed Feb 15, 2023
    Configuration menu
    Copy the full SHA
    3262099 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2023

  1. chore: apply input validation checks on new encoding method

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    dcb07a4 View commit details
    Browse the repository at this point in the history

  2. chore: clippy

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    d004680 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into abi-to-witness-map

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    5b67289 View commit details
    Browse the repository at this point in the history

  4. chore: remove unnecessary clone

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    c08d154 View commit details
    Browse the repository at this point in the history

  5. feat: add smoke test for abi encoding and decoding

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    b71b956 View commit details
    Browse the repository at this point in the history

  6. chore: remove todo

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    0a5598c View commit details
    Browse the repository at this point in the history

  7. chore: return abi from compile_circuit

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    f520088 View commit details
    Browse the repository at this point in the history

  8. chore: simplify returning CompiledProgram

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    609ffa7 View commit details
    Browse the repository at this point in the history

  9. chore: clippy

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    50af426 View commit details
    Browse the repository at this point in the history

  10. feat: return AbiError if witness value can't be found

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    cc9a7ff View commit details
    Browse the repository at this point in the history

  11. chore: add documentation for Abi fields

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    4b94851 View commit details
    Browse the repository at this point in the history

  12. fix: re-add public_inputs field to Evaluator

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    8c4125f View commit details
    Browse the repository at this point in the history

  13. chore: remove stale code from BTreeSet experiment

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    da6ee42 View commit details
    Browse the repository at this point in the history

  14. Merge branch 'master' into abi-to-witness-map

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    1f8a9ea View commit details
    Browse the repository at this point in the history

  15. chore: fix merge issues

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    2117c5b View commit details
    Browse the repository at this point in the history

  16. fix: re-add deleted num_witnesses_abi_len init

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    4f0574a View commit details
    Browse the repository at this point in the history

  17. Merge branch 'master' into abi-to-witness-map

    @TomAFrench
    TomAFrench committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    07741a6 View commit details
    Browse the repository at this point in the history