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

Several pvm fixes #86

Closed
wants to merge 9 commits into from
Closed

Several pvm fixes #86

wants to merge 9 commits into from

Conversation

vekexasia
Copy link
Contributor

This pr fixes different typos.

In order by commit:

  • ΩW were missing serviceindex s - commit
  • ΩI was missing the x parameter used when defining t - commit
  • ΩU x[s] does not have a valid reference. it should have been x_{n}[s] - commit
  • ΩT t in the first return case should be bold - commit
  • ΩS add missing tparameter used when building bold_a - commit
  • ΩP typo i -> l - commit
  • ΩQ missing δ - commit
  • (246) had 16 registers instead of 13 - commit
  • (249) the work package set element cno longer exist so replaced c with u - commit

Omega_W uses the serviceindex `s` which is not set as argument
the info function merges bold d with `x_n` which is not passed as
argument
the upgrade function was missing the `_n` subscription as `x[s]` is not
a valid "reference"
t is being used when defining a but not provided like in forget
delta is being used in the "return" matching cases
p_c does no longer exist. it's been renamed to u
@gavofyork
Copy link
Owner

gavofyork commented Oct 7, 2024

Thanks for all these! For what it's worth, the final item is an incorrect change - it is defined as a derivative field:

image

gavofyork added a commit that referenced this pull request Oct 7, 2024
@gavofyork
Copy link
Owner

Since these are somewhat conflicting with #57, I'll be manually merging them in to 0.4.

@gavofyork gavofyork closed this Oct 8, 2024
gavofyork added a commit that referenced this pull request Oct 8, 2024
* Fix discrepency between Phi and Phi_1

* Bandersnatch: Ignore bad keys

* Use padding point for bad keys in ring

* Bandersnatch def

* Initial drafting

* Further development

* Continued efforts

* Proper queue

* Simplify accumulation gas system

* More..

* More bits

* Almost completed

* Clarify hash function

* Start on the appendix

* More work

* Some work on off-chain

* Further work on PVM invocation

* More work.

* Panic should return gas counter

* For upgrade, transfer and quit, just use the context directly and don't pass s/d

* Clean up a bit of text

* Correct spelling

* More spelling

* WP2WR: More succinct formalism

* More work on lookup dict

* Cleanup leftovers

* Fix host function new

* Make halt from host-function possible

* Final bits

* Cleanups

* Formatting

* Spelling

* Final on-chain elements.

* Formatting

* Tighten up PVM init formalism

* Formatting for Merklisation

* Serialization for boxplus

* Formatting of accumulation

* Fixes from #86 by @vekexasia

* Remove file.

* Bump to 0.4.0

* Fix accumulated-hat

* Rewordings relating to accumulation

* Update readme and try to keep constant octet lengths under W

* Fix function

* Update dependencies

* Tighten up language in accumulation

* Fixes from review

* Fix the Delta+ description

* Remove unneeded min

* Merklise new state

* Remove old term

* Keep chunks around until the finality of the block in which they become available.

* PVM: Fix register initialization

* PVM: Fix register indices in hostcalls

* WP&WR: Include auth output for Psi_R function

* WP&WR: tighten constraints for srlookup value

* WP&WR: Fix up the av.spec definition.
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