Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

[proof chunk] root circuit consistency between chunk #1693

Merged
merged 19 commits into from
Dec 12, 2023
Merged

[proof chunk] root circuit consistency between chunk #1693

merged 19 commits into from
Dec 12, 2023

Commits on Nov 28, 2023

  1. simplify pi input for proof chunk continity to single column

    @hero78119
    hero78119 committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    90c9aab View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. derived challenge in transcript

    @hero78119
    hero78119 committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    dc338bb View commit details
    Browse the repository at this point in the history

  2. constraint between chunk instance continuity

    @hero78119
    hero78119 committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    7b8c03e View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. constraints first chunk

    @hero78119
    hero78119 committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    0e8ec10 View commit details
    Browse the repository at this point in the history

  2. expose row fingerprints to constraint rwtable first and last row

    @hero78119
    hero78119 committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    2335a2d View commit details
    Browse the repository at this point in the history

  3. constraint first chunk first row fingerprint must be equal

    @hero78119
    hero78119 committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    04a51da View commit details
    Browse the repository at this point in the history

  4. simplify pi on chunk context

    @hero78119
    hero78119 committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    a9cbe21 View commit details
    Browse the repository at this point in the history

  5. remove unnessesary to_owned

    @hero78119
    hero78119 committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    d5062dc View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. fix typo

    @hero78119
    hero78119 committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    8a76c75 View commit details
    Browse the repository at this point in the history

  2. generalized user space challenge

    @hero78119
    hero78119 committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    37388c6 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. complex selector

    @hero78119
    hero78119 committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    a80ab98 View commit details
    Browse the repository at this point in the history

  2. code cosmetics

    @hero78119
    hero78119 committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    7d30826 View commit details
    Browse the repository at this point in the history

  3. constraint chunk_index < total_chunks

    @hero78119
    hero78119 committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    280e579 View commit details
    Browse the repository at this point in the history

  4. better naming and fix ltchip assign

    @hero78119
    hero78119 committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    295abd0 View commit details
    Browse the repository at this point in the history

  5. add selector in gate

    @hero78119
    hero78119 committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    baad3f5 View commit details
    Browse the repository at this point in the history

  6. chores: twist comments and format code

    @hero78119
    hero78119 committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    55b52f6 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2023

  1. root circuit only expose nessesary pi input

    @hero78119
    hero78119 committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    6ab26d6 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. twist root circuit api to support multi-proof

    @hero78119
    hero78119 committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    0edf828 View commit details
    Browse the repository at this point in the history

  2. apply c-caller-control principle

    @hero78119
    hero78119 committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    add368b View commit details
    Browse the repository at this point in the history