This repository has been archived by the owner on Nov 26, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 27
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
c3e37f0
to
ec031f7
Compare
978d12d
to
3542f59
Compare
Replace with cothread
acfc32c
to
32a786c
Compare
also fix proving around cothread
0 if no stacks
Merged
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
What's working?
system tests, including stylus, in both jit and arbitrator mode
What's not working?
ipfshelper - the library we use is out-of-date. I stubbed out enough of it to be able to run system tests, but things like make build / make lint will not work.
one-step-proofs - not done yet.
recommended order for reading
arbcompress/, wavmio/
These changes are required for go 1.21, even if staying with wasm-js
arbitrator/wasm-libraries/{brotli, host-io}
Equivalent changes in the wasm libs
arbos/programs
Updated API to execute stylus programs
arbitrator/prover/src/{machine, wavm}.rs
required modifications for supporting the stylus->go callbacks. OSP not ready here but should be simple considering we only ever need state of either first or last {value, frame} stack
arbitrator/prover/src/host.rs
funcs using these new opcodes
arbitrator/wasm-libs/{user-host, program-exec}
implementation from arbitrator side
arbitrator/jit
the jit implementation