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.

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

refactor: rename chip trait and clarify air vs chip #48

Conversation

zlangley
Copy link
Contributor

@zlangley zlangley commented Jun 6, 2024

  • Renaming Chip trait to AirBridge
  • Renaming SubAirWithInteractions trait to SubAirBridge
  • Factor out/rename *Chip structs to *Air for the parts that define constraints

@jonathanpwang jonathanpwang self-requested a review June 6, 2024 15:50
@zlangley zlangley force-pushed the zach/int-1548-refactor-chip-trait-to-hasinteractions-and-clarify-air-vs branch from 40e9452 to 1af9705 Compare June 6, 2024 16:49
@zlangley zlangley force-pushed the zach/int-1548-refactor-chip-trait-to-hasinteractions-and-clarify-air-vs branch from 1af9705 to 2e4b395 Compare June 6, 2024 16:51
@zlangley zlangley changed the title Rename chip trait and clarify air vs chip refactor: rename chip trait and clarify air vs chip Jun 6, 2024
Copy link
Contributor

@jonathanpwang jonathanpwang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jonathanpwang jonathanpwang merged commit 93f8d53 into main Jun 10, 2024
4 checks passed
@jonathanpwang jonathanpwang deleted the zach/int-1548-refactor-chip-trait-to-hasinteractions-and-clarify-air-vs branch June 10, 2024 05:07
luffykai pushed a commit that referenced this pull request Dec 13, 2024
* Rename Chip to AirBridge

* SubAirWithInteractions -> SubAirBridge

* IsEqualAir

* IsEqualVecAir

* IsZeroAir

* KeccakPermuteAir

* MerkleProofAir

* PageReadAir

* RangeAir

* RangeCheckerGateAir

* XorLookupAir

* XorLimbsAir

* XorBitsAir

---------

Co-authored-by: Jonathan Wang <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants