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

Retire Lurk alpha proving + benchmarks #873

Merged
merged 4 commits into from
Nov 9, 2023
Merged

Retire Lurk alpha proving + benchmarks #873

merged 4 commits into from
Nov 9, 2023

Commits on Nov 9, 2023

  1. feat: retire Lurk Proving

    @huitseeker
    huitseeker committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    241ddf3 View commit details
    Browse the repository at this point in the history

  2. chore: clean up more generic setup for MultiFrame

    @huitseeker
    huitseeker committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    848bb93 View commit details
    Browse the repository at this point in the history

  3. refactor: Refactor codebase to remove proving Alpha MultiFrame functi… 

    …onality

- Removed the use of `witness_cs::WitnessCS`, `boolean::Boolean`, and `Provable` trait from various modules in `bellpepper_core`,
- Dropped multithreading support on `prove_recursively` function in `nova.rs`,
- Deleted `StepCircuit` and `SuperStepCircuit<F>` implementation for `MultiFrame`, including its functions `synthesize` and `compute_witness`,
- Refactored several functions in `nova::prove_recursively`,
- Removed unused imports and implementations across multiple files.
    @huitseeker
    huitseeker committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    9e6a2fd View commit details
    Browse the repository at this point in the history

  4. chore: remove unused coprocessor functions

    @huitseeker
    huitseeker committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    8ece71d View commit details
    Browse the repository at this point in the history