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

Use tachyon to speed up witness and proofgen #75 #102

Merged
merged 5 commits into from
Aug 21, 2024
Merged

Use tachyon to speed up witness and proofgen #75 #102

merged 5 commits into from
Aug 21, 2024

Commits on Aug 14, 2024

  1. Use tachyon to speed up witness and proofgen #75

    @whoisgautxm
    whoisgautxm committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    6137515 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. Update the modal prover version

    @SoraSuegami
    SoraSuegami committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    9c66765 View commit details
    Browse the repository at this point in the history

  2. Change branch of tachyon

    @SoraSuegami
    SoraSuegami committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    6b7ac26 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Fix prover's Dockerfile

    @SoraSuegami
    SoraSuegami committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    23fb3ca View commit details
    Browse the repository at this point in the history

  2. Fix prover's dockerfile.

    @SoraSuegami
    SoraSuegami committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    7616a30 View commit details
    Browse the repository at this point in the history