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

Implementation of the Merkle tree membership for bls12_377::ScalarField #21

Closed
simonmasson opened this issue May 25, 2022 · 1 comment · Fixed by #26 or #34
Closed

Implementation of the Merkle tree membership for bls12_377::ScalarField #21

simonmasson opened this issue May 25, 2022 · 1 comment · Fixed by #26 or #34
Assignees
@XuyangSong

Comments

@simonmasson
Copy link
Contributor

simonmasson commented May 25, 2022 •
edited
Loading

Merkle tree membership proofs are essential for making Taiga work. Once the implementation of Pedersen hash of issue #20 is ok, we would be able to build this circuit involving several hash circuits.

We investigate here circuits defined over bls12_377::ScalarField.
@simonmasson simonmasson mentioned this issue May 25, 2022
Closed
@ghost
Copy link

ghost commented May 31, 2022

Current status is: we decided to use Poseidon for now and re-evaluate need for Pedersen hash later.

@XuyangSong XuyangSong linked a pull request May 31, 2022 that will close this issue
Poseidon hash #26
Merged
7 tasks
@XuyangSong XuyangSong reopened this Jun 7, 2022
@XuyangSong XuyangSong linked a pull request Jun 7, 2022 that will close this issue
merkle tree circuit #34
Merged
@XuyangSong XuyangSong self-assigned this Jun 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@XuyangSong XuyangSong

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Poseidon hash anoma/taiga
merkle tree circuit anoma/taiga
2 participants
@XuyangSong @simonmasson