* fix1

* fix2

* execution wip

* fix 3

* fix 4

…fficiency (#7) (#14)

Co-authored-by: Ray Gao <qg2153@columbia.edu>

* wip

* finish

* write final pos back

* apply change for gpu

* fix that multi_observe works as observe_slice

* larger test case

* wip

* wip2

* wip3

* wip4

* wip5

* replace variable position by name

* wip6

* wip7

* clippy

* wip8

* wip9

* wip10

* wip11

* wip12

* wip13

* wip14

* wip15

* clippy

* Remove ctx reads

* fmt

* fix bugs in air and cpu tracegen

* fix gpu tracegen bug

* clippy

---------

Co-authored-by: kunxian xia <xiakunxian130@gmail.com>

…r_eval` (#30)

* read prod_evals & logup_evals from hint space

* wip

* unit test passed

* gpu unit test pass

* Revert "Feat: read `prod_evals` and `logup_evals` from hint in `sumcheck_layer_eval` (#30)"

This reverts commit ef22e8e.

* consolidate hint slice changes

* debug

* debug

* fmt

* cuda

* reduce cell/column usage

* restore sumcheck hint ids unit test

* fix sumcheck test

* put sumcheck hint ids on register

* fmt

* remove context

* clippy

* fix gpu bug

Fix `NativeSumcheck` Metered Execution

* optional writeback

* Correct timestamp

* fix constraints

* correct constraints

* remove unnecessary declaration

* remove change

* misc: fix syntax error (#37)

---------

Co-authored-by: Ming <hero78119@gmail.com>

* report (dsl,opcode) usage in cycle tracker

* misc: padding info (#32)

* log wit abs (#36)

---------

Co-authored-by: Ming <hero78119@gmail.com>

This reverts commit af3ccda.

* hint bridge

* progress

* optional writeback

* hint bridge

* hint bridge

* fix stale data

* hint provider gpu

* resolve native sumcheck gpu trace fill problem

* cuda adjust

* fix compilation

* fix compilation

* account for empty gpu trace

* constraints

* column structure

* adjust degree

* remove debug flag

* Adjust hint constraints

* Fix range checker

* fix