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.

Sign up for GitHub

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

Jump to bottom

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

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
@mmagician
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
@mmagician mmagician linked a pull request May 4, 2023 that will close this issue
Open
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mmagician mmagician

Labels
D-medium Difficulty: medium T-performance Type: performance improvements
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Hybrid method for random access/conditional selection from 2^k values arkworks-rs/r1cs-std
1 participant
@mmagician