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

read-write lookup offline-memory-checking logUp-based implementation in (Super)Nova R1CS #48

Draft
wants to merge 6 commits into
base: dev
Choose a base branch
from
Draft

read-write lookup offline-memory-checking logUp-based implementation in (Super)Nova R1CS #48

wants to merge 6 commits into from

Commits on Jan 26, 2024

  1. refactor and generalized MemorySumcheckInstance instance

    @hero78119
    hero78119 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    33508fd View commit details
    Browse the repository at this point in the history

  2. add lookup gadget 

    add rwlookup test: heaplify

add pre-computed challenge mechanism

fix type mutabble in bench

make clippy happy

optimise constraints

wip

add lookupsnark

reformat

constraints scope to immutable stepcircuit

lookupsnark test pass

fix clippy

sumcheck back to private module

rollback sumcheck under ppsnark module to private

enable defering challenge check

separate permutation fingerprint challenges to alpha and gamma

chores: mutability, typo and better rust syntax

chores: use let-else instead

cleanup map_aux_dirty

read_row/write_row should be pass to verify func as arguments

chores: code cosmetics

implement intoiterator for lookup

chores: fix let-else usage

chores: remove tad pedantic usage

optimize lookuprtace rw_trace processing

tmp having RelaxedR1CSSNARKV2 for support table lookup efficiently

implemenet compressedsnarkv2

implement LogUp approach and padding
    @hero78119
    hero78119 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    3eae8cd View commit details
    Browse the repository at this point in the history

  3. chores: better naming

    @hero78119
    hero78119 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    9669d89 View commit details
    Browse the repository at this point in the history

  4. renaming and merge lookup accumulator to single value

    @hero78119
    hero78119 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    af739c9 View commit details
    Browse the repository at this point in the history

  5. fix soundness arguement on challenges

    @hero78119
    hero78119 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    dcc5bcf View commit details
    Browse the repository at this point in the history

  6. chores: rebase to dev

    @hero78119
    hero78119 committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    607cefa View commit details
    Browse the repository at this point in the history