WIP : Implement a sortedmulti_a
descriptor
#641
Closed
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.
This is mostly the copy of
sortedmulti
for now with some changes in the Terminal beingMultiA
instead ofMulti
and somemax_satisfaction_witness_element
andmax_satisfaction_size
as implemented in core.Some Question that I have and I think we can implement it on the way in this PR.
script_size
ofsortedmulti_a
.Some other questions that I have about implementing
sortedmulti_a
inside tr liketr(c6...., sortedmulti_a(2, 5f...., 6e....)
. For now we build a taptree and consider the trees inside the tr like :tr(c6..., {pk(), pk()}
. This means when I trying to build a tree fortr(c6...., sortedmulti_a(2, 5f...., 6e....)
I am hitting an error withOne solution that I for now think is to implement a
TrInner
as we have insideSh()
. Am I on the right path?