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

feat(ivc): impl cyclefold::support_circuit::protogalaxy::verify_delegated #370

Open
cyphersnake opened this issue Oct 21, 2024 · 1 comment
Open

feat(ivc): impl cyclefold::support_circuit::protogalaxy::verify_delegated #370

cyphersnake opened this issue Oct 21, 2024 · 1 comment
Assignees
@cyphersnake
Milestone
CycleFold

Comments

@cyphersnake
Copy link
Collaborator

Part of the computation, particularly ECC-related operations from nifs::protogalaxy::verify, needs to be moved to the support (secondary) circuit.

Depends on #369 for core logic integration.
@cyphersnake cyphersnake added this to the CycleFold milestone Oct 21, 2024
@cyphersnake cyphersnake self-assigned this Oct 21, 2024
@cyphersnake cyphersnake mentioned this issue Oct 21, 2024
Closed
@cyphersnake cyphersnake changed the title feat(ivc): implement cyclefold::support_circuit::protogalaxy::verify_delegated feat(ivc): impl cyclefold::support_circuit::protogalaxy::verify_delegated Oct 21, 2024
@cyphersnake cyphersnake mentioned this issue Oct 21, 2024
Open
@cyphersnake
Copy link
Collaborator Author

cyphersnake commented Oct 22, 2024 •
edited
Loading

  • Impl TinyGate (degree = 2) gate = a+r*b (0.5 sp)
  • impl trait EccOperationGate (0.5 sp)
  • MainGate field -> impl EccOperationGate (0.5 sp)
  • Test all together (1 sp)

@cyphersnake cyphersnake mentioned this issue Dec 4, 2024
Closed
cyphersnake added a commit that referenced this issue Jan 8, 2025
@cyphersnake
feat(ivc): impl cyclefold::ivc
810365e 
**Motivation**
Close #368
Close #369
Close #370
Close #372
Close #373
Close #374

**Overview**
Implementation of the cyclefold with test
@cyphersnake cyphersnake mentioned this issue Jan 8, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@cyphersnake cyphersnake

Labels
None yet
Projects
None yet
Milestone
CycleFold
Development

No branches or pull requests
1 participant
@cyphersnake