-
Notifications
You must be signed in to change notification settings - Fork 34
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
Trait and derive macro for ToFieldElementIter
.
#323
Comments
Some additional thoughts:
|
See #340 where we're hashing this out. |
github-actions bot
pushed a commit
that referenced
this issue
Sep 6, 2024
Signed-off-by: dropbigfish <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It is a common pattern in the circuits used in arecibo for us to take complex types allocated in a constraint system, and decomposing them by hand into a set of
AllocatedNum
s to be absorbed in an RO transcript (or for other purposes in the circuit).We should add a
ToFieldElementIter
trait that implements ato_field_iter
function with typeT -> impl IntoIterator<Item = AllocatedNum<E::Base>>
.Resolving this issue should include a custom
derive
macro that could derive the implementation of the trait automatically.The text was updated successfully, but these errors were encountered: