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

Fix: Get classes out of subcalls #347

Merged
merged 1 commit into from
Sep 4, 2024

Conversation

notlesh
Copy link
Collaborator

@notlesh notlesh commented Sep 4, 2024

Problem: Library calls do not have a distinct contract address (they use the caller's address in their context), so looking only at contract addresses in subcalls prevents us from ever loading these classes.

Solution: Record classes while traversing subcall tree and load them.

Issue Number: N/A

Type

  • feature
  • bugfix
  • dev (no functional changes, no API changes)
  • fmt (formatting, renaming)
  • build
  • docs
  • testing

Description

Breaking changes?

  • yes
  • no

@notlesh notlesh requested a review from odesenfans as a code owner September 4, 2024 20:15
@notlesh notlesh force-pushed the notlesh/get-classes-from-library-subcalls branch from 8d0bb4c to a95d365 Compare September 4, 2024 20:20
@notlesh notlesh changed the title Fix: Impl missing hints in Blob DA blocks Fix: Get classes out of subcalls Sep 4, 2024
@odesenfans odesenfans merged commit 59733df into main Sep 4, 2024
6 checks passed
@odesenfans odesenfans deleted the notlesh/get-classes-from-library-subcalls branch September 4, 2024 20:58
HermanObst pushed a commit that referenced this pull request Sep 10, 2024
* wip: attempt to handle kzq_da

* add: wip kzg da hints implementation

* wip: kzg unknown da_size

* lint: clippy fix

* fix: rename zkg to kzg

* update: kzg fft method and tests

* ensure non-negative numbers on diff

* fix: os output and add specific tests

* lint: clippy fixes

* fix: update the new api

* more zkg -> kzg renaming

* fix: use log instead of println

Co-authored-by: Olivier Desenfans <[email protected]>

* fix: remove unnecessary code

* Update crates/starknet-os/src/hints/kzg.rs

Co-authored-by: Olivier Desenfans <[email protected]>

* fix: missing parts of kzg, added vars

* L1 handler tx (#344)

* support for L1 Handler txs

* fixes from review

* Chore: bump Blockifier to 0.8.0-rc.3 (#345)

* Look for classes in subcalls in addition to contracts (#347)

* Implement kzg commitment hint

* Fixes

* Clean up post-merge

* Add kzg_manager.rs

* Resolve clippy nits

* s/5/6/

* Remove orphaned hint

* Clean up mangled comment

* Remove unused import

* Fix BLOB_LENGTH constant lookup

* Use from c_kzg::Error

Co-authored-by: Olivier Desenfans <[email protected]>

* Add Blob DA blocks to prove_block test

* Oops, wrong block number

* Derive number of zkg felts to ignore in os output

* doc: improve documentation on fft recursive method

* doc: for the recursive fft method

---------

Co-authored-by: ftheirs <[email protected]>
Co-authored-by: Olivier Desenfans <[email protected]>
Co-authored-by: Olivier Desenfans <[email protected]>
Co-authored-by: Stephen Shelton <[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