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

feat(ivc): impl protogalaxy::verify_sps #385

Merged
merged 5 commits into from
Nov 5, 2024
Merged

feat(ivc): impl protogalaxy::verify_sps #385

merged 5 commits into from
Nov 5, 2024

Conversation

cyphersnake
Copy link
Collaborator

Motivation
Close #367

Overview
Tests for this functionality will be done within a more upper-level module to simplify the mocks

@cyphersnake cyphersnake requested a review from chaosma November 4, 2024 14:34
@cyphersnake cyphersnake self-assigned this Nov 4, 2024
@cyphersnake cyphersnake force-pushed the 361-feat-protogalaxy-verify-circuit-9 branch from c86dd81 to 164ed63 Compare November 5, 2024 12:17
@cyphersnake cyphersnake force-pushed the 361-feat-protogalaxy-verify-circuit-9 branch from 164ed63 to 8599c8d Compare November 5, 2024 12:20
@cyphersnake cyphersnake force-pushed the 361-feat-protogalaxy-verify-circuit-9 branch from 8599c8d to 6b554e0 Compare November 5, 2024 13:45
Base automatically changed from 361-feat-protogalaxy-verify-circuit-9 to 361-feat-protogalaxy-verify-circuit-7 November 5, 2024 13:45
@cyphersnake cyphersnake force-pushed the 361-feat-protogalaxy-verify-circuit-7 branch from 732980d to 7671e98 Compare November 5, 2024 13:47
Base automatically changed from 361-feat-protogalaxy-verify-circuit-7 to main November 5, 2024 13:47
**Motivation**
For fold instances in #361 we need Li(X)

**Overview**
Little refactor
**Motivation**
Last part of #361

**Overview**
Unlike the rest of the functionality, this one is untested because the
test would need a cyclic curve and that makes the tests very difficult.

It is better to test this part of e2e already in its entirety
**Motivation**
Part of #361

**Overview**
All that's left is to test this code separately from the rest. This
requires cyclic curves, so I'm putting this part aside and going to make
a cyclefold billet to build all types once
**Motivation**
Close #367

**Overview**
Tests for this functionality will be done within a more upper-level module to simplify the mocks
@cyphersnake cyphersnake merged commit 4093d08 into main Nov 5, 2024
1 check passed
@cyphersnake cyphersnake deleted the 367-sps-verify branch November 5, 2024 13:48
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

Successfully merging this pull request may close these issues.

feat(ivc): impl cyclefold::sfc::sps_verify
2 participants