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

chore(ssa refactor): to_radix #1499

Merged
merged 19 commits into from
Jun 2, 2023
Merged

chore(ssa refactor): to_radix #1499

merged 19 commits into from
Jun 2, 2023

Conversation

joss-aztec
Copy link
Contributor

@joss-aztec joss-aztec commented Jun 1, 2023 •
edited
Loading

Description

Add radix decomposition

Example

fn main(x : Field) -> pub u1 {
    let bits = x.to_le_bits(3);
    bits[0]
}

compiles to

current witness index : 6
public parameters indices : []
return value indices : [2]
BLACKBOX::RANGE [(_2, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_3, num_bits: 1)] [ ]
BLACKBOX::RANGE [(_4, num_bits: 1)] [ ]
EXPR [ (1, _1) (-1, _2) (1, _6) 0 ]
EXPR [ (-2, _3) (-4, _4) (-1, _6) 0 ]
DIR::TORADIX (_x1, [_2..._4] )

Documentation

  • This PR requires documentation updates when merged.

    • I will submit a noir-lang/docs PR.
    • I will request for and support Dev Rel's help in documenting this PR.

Additional Context

PR Checklist*

  • I have tested the changes locally.
  • I have formatted the changes with Prettier and/or cargo fmt on default settings.

kevaundray and others added 10 commits June 1, 2023 11:33
@kevaundray
comment out tests for normal code path
ae0f919
@kevaundray @jfecher @joss-aztec
chore(ssa refactor): Add method to handle black box functions in Acir…
2a82e54 
… gen (#1437)

* add field mul and div

* add code to process field mul and div

* add assert example

* add `is_equal` constraint

* add `eq_var` method for AcirVar

* process `Constrain` instruction and BinaryOp::Eq

* add TODO for more than the maximum number of bits

* add numeric_cast_var method which constrains a variable to be equal to a NumericType

* implement casting for numeric types

* add simple range constraint example

* add constraints for `more_than_eq`

* - add more_than_eq method
- This method needs to know the bit size, so we cache this information whenever we do a range constraint.
We should ideally also cache it for constants too since we can figure out their bit-sizes easily

* add method to process less than binary operation

* add example

* assign result of cast operation

* add `y` as an input value

* return optimized circuit

* refactor code so that mapping of the ValueIds to AcirVar is more explicit. This way we need to explicitly mark instructions as not returning anything.

* Add function to push intrinsic into the IR

* add method to call blackbox functions using a list of AcirVar

* Addressed in Address GtEq extra opcodes #1444

* Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs

Co-authored-by: jfecher <jake@aztecprotocol.com>

* fix clippy

* add code to handle calls to intrinsics

* add example of blackbox function

* remove doc test

* address TODO by moving most of the blackbox logic into GeneratedACIR module

* refactor black box function logic -- also renamed it from intrinsics to blackbox functions

* remove TODO

---------

Co-authored-by: jfecher <jake@aztecprotocol.com>
Co-authored-by: Joss <joss@aztecprotocol.com>
@joss-aztec @kevaundray
chore(ssa refactor): add range constraints for array param elements (#…
3c5a747 
…1460)

* chore(ssa refactor): acir-gen arrays in main

* Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/memory.rs

* chore(ssa refactor): PR suggestions

* chore(ssa refactor): simplify test into something I know the input syntax for :-/

* chore(ssa refactor): rm todo (now has issue)

* chore(ssa refactor): rm unused

* chore(ssa refactor): abi_gen comment

* chore(ssa refactor): split convert_ssa_load

* chore(ssa refactor): more comments

* chore(ssa refactor): more comments

* chore(ssa refactor): add range constraints for array param elements

* chore(ssa refactor): rename vars

---------

Co-authored-by: kevaundray <kevtheappdev@gmail.com>
@joss-aztec @kevaundray
chore(ssa refactor): hookup alloc + store instructions (#1464)
b35a70b 
* chore(ssa refactor): acir-gen arrays in main

* Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/memory.rs

* chore(ssa refactor): PR suggestions

* chore(ssa refactor): simplify test into something I know the input syntax for :-/

* chore(ssa refactor): rm todo (now has issue)

* chore(ssa refactor): rm unused

* chore(ssa refactor): abi_gen comment

* chore(ssa refactor): split convert_ssa_load

* chore(ssa refactor): more comments

* chore(ssa refactor): more comments

* chore(ssa refactor): hookup alloc + store instructions

* chore(ssa refactor): rm assert

* chore(ssa refactor): rm double insert

* Revert "chore(ssa refactor): rm double insert"

This reverts commit f47a75f.

* chore(ssa refactor): rm double insert

---------

Co-authored-by: kevaundray <kevtheappdev@gmail.com>
@joss-aztec @kevaundray
chore(ssa refactor): bitwise ops (rebased) (#1477)
787696a 
* chore(ssa refactor): bitwise ops

* Update crates/nargo_cli/tests/test_data_ssa_refactor/simple_bitwise/Prover.toml

* Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs

* Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs

* chore(ssa refactor): fix OR impl + tidy up

* chore(ssa refactor): remove XOR & AND 1-bit opt; Assert equal bit size

* chore(ssa refactor): PR feedback

---------

Co-authored-by: kevaundray <kevtheappdev@gmail.com>
@kevaundray @joss-aztec
chore(ssa refactor): Adds a regression test for repeated op (#1470)
1c1d8a6 
* add test for adding same constant

* chore(ssa refactor): add_data dupe fix

* chore(ssa refactor): update regression test and remove redundant dupe check

* Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs

* make test simpler

---------

Co-authored-by: Joss <joss@aztecprotocol.com>
@kevaundray @TomAFrench
@jfecher @joss-aztec
chore(ssa refactor): Add code to handle left and right shifts (#1471)
d881cae 
* add shift left and shift right in AcirVar

* call shl and shr in `convert_ssa_binary`

* add example

* remove TODO

* update todos

* Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>

* Update crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>

---------

Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
Co-authored-by: jfecher <jake@aztecprotocol.com>
Co-authored-by: Joss <joss@aztecprotocol.com>
@joss-aztec
chore(ssa refactor): blackbox array arg support (#1484)
3e7e8bb 
* chore(ssa refactor): blackbox array arg support

* chore(ssa refactor): fix post merge

* chore(ssa refactor): push array flattening up

* chore(ssa refactor): fix PR nits
@joss-aztec
chore(ssa refactor): ACIR-gen log directives (#1488)
994ce31 
* chore(ssa refactor): blackbox array arg support

* chore(ssa refactor): fix post merge

* chore(ssa refactor): push array flattening up

* chore(ssa refactor): ACIR-gen log directives
@joss-aztec
chore(ssa refactor): to_radix
24e352b
kevaundray and others added 7 commits June 2, 2023 00:45
@kevaundray
Merge remote-tracking branch 'origin/master' into kw/ssa-refactor-onl…
605aa83 
…y-tests
@kevaundray
add back tests
33b00ac
@kevaundray
Merge remote-tracking branch 'origin/master' into kw/ssa-refactor-onl…
42c3f40 
…y-tests
@guipublic @kevaundray
chore: generate brillig opcodes for an empty function (#1448)
67f53ec 
* Brillig almost e2e for empty function

* Code review

* Donot inline brillig functions

* decouple brillig from ssa

* Add doc comments

* convert only brillig functions into brillig

* fix typo

* add `new_function` and `new_brillig_function`

* refactor code to match

* fix clippy

* call intrinsic directly via match

---------

Co-authored-by: Kevaundray Wedderburn <kevtheappdev@gmail.com>
@joss-aztec @kevaundray
chore(ssa refactor): Remove dead blackboxes and handle pedersen domai…
fc0a495 
…n separator (#1503)

* chore(ssa refactor): Rm dead blackboxes and handle pedersen domain separator

* chore(ssa refactor): variable keccak

* chore(ssa refactor): switch between var/fixed keccak

* use simpler case for now

* remove Keccak message_size logic

---------

Co-authored-by: Kevaundray Wedderburn <kevtheappdev@gmail.com>
@joss-aztec
chore(ssa refactor): finish radix impl
9ff29e8
@joss-aztec
Merge branch 'kw/ssa-refactor-only-tests' into joss/to_radix
772cee7
@joss-aztec joss-aztec marked this pull request as ready for review June 2, 2023 12:33
@kevaundray kevaundray changed the base branch from kw/ssa-refactor-only-tests to master June 2, 2023 12:54
jfecher
jfecher reviewed Jun 2, 2023
View reviewed changes
crates/nargo_cli/build.rs Outdated Show resolved Hide resolved
crates/noirc_evaluator/src/brillig/acvm_brillig.rs Outdated Show resolved Hide resolved
@jfecher jfecher added this pull request to the merge queue Jun 2, 2023
Merged via the queue into master with commit 961c441 Jun 2, 2023
@jfecher jfecher deleted the joss/to_radix branch June 2, 2023 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kevaundray kevaundray kevaundray left review comments

@jfecher jfecher jfecher approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@joss-aztec @jfecher @kevaundray @guipublic