Skip to content

encoding: rm useless top of the hypercube encoding#47

Merged
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:hypercube-rm
Apr 4, 2026
Merged

encoding: rm useless top of the hypercube encoding#47
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:hypercube-rm

Conversation

@tcoratger
Copy link
Copy Markdown
Contributor

No description provided.

@tcoratger tcoratger requested a review from b-wagn April 3, 2026 20:52
@tcoratger tcoratger merged commit 9d37fa9 into leanEthereum:main Apr 4, 2026
2 checks passed
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.

1 participant