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.

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

Model CLSAG signing algorithm as state machine #31

Open
thomaseizinger opened this issue May 28, 2021 · 0 comments
Open

Model CLSAG signing algorithm as state machine #31

thomaseizinger opened this issue May 28, 2021 · 0 comments

Comments

@thomaseizinger
Copy link

To make adapter signatures possible, we need access to internal state of the signing algorithm. See 2fe0280 (#28).

Instead of returning this one constant from the signing function, we should re-model the loop inside the algorithm to a type-level state machine that makes execution of the algorithm safe and gives read-only access to internal state like this constant so that other protocols can be built on top of it safely.

@thomaseizinger thomaseizinger changed the title Model CLSAG signing algorithm Model CLSAG signing algorithm as state machine May 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant