8000 Implement O(sqrt(n)) `conditionally_select_power_of_two_vector` method · Issue #118 · arkworks-rs/r1cs-std · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Implement O(sqrt(n)) conditionally_select_power_of_two_vector method #118

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.

8000

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

Open
4 tasks done
mmagician opened this issue May 2, 2023 · 0 comments · May be fixed by #119
Open
4 tasks done

Implement O(sqrt(n)) conditionally_select_power_of_two_vector method #118

mmagician opened this issue May 2, 2023 · 0 comments · May be fixed by #119
Assignees
Labels
D-medium Difficulty: medium T-performance Type: performance improvements

Comments

@mmagician
Copy link
Member

Summary

Currently the function conditionally_select_power_of_two_vector uses method 5.1 from https://github.com/mir-protocol/r1cs-workshop/blob/master/workshop.pdf.
By implementing the SumOfConditions method and then combining it with the existing technique, we could achieve less constraints.

For Admin Use

  • Not duplicate issue
  • Appropriate labels applied
  • Appropriate contributors tagged
  • Contributor assigned/self-assigned
@mmagician mmagician added T-performance Type: performance improvements D-medium Difficulty: medium labels May 2, 2023
@mmagician mmagician self-assigned this May 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
4D6E
Labels
D-medium Difficulty: medium T-performance Type: performance improvements
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant
0