Skip to content

tooling/provekit-fixtures/tests/goldilocks_roundtrip: run the challenge-bearing fixtures on the base-leaf field once a #473

Description

@recmo

On 2026-07-13 in 61744fa “Merge pull request #470 from worldfnd/feat/base-field-witness-commit”:

run the challenge-bearing fixtures on the base-leaf field once a
base-field LogUp construction is available.

//! Base-compatible fixtures run on the canonical base-leaf `GoldilocksField`.
//! The challenge-bearing fixtures (LogUp, multi-challenge) place extension
//! challenge values in the witness, so they run on `GoldilocksEfField`, whose
//! base and extension fields coincide.
//!
//! TODO: run the challenge-bearing fixtures on the base-leaf field once a
//! base-field LogUp construction is available.

mod shared;

use provekit_backend_goldilocks::{register, GoldilocksEfField, GoldilocksField};

From tooling/provekit-fixtures/tests/goldilocks_roundtrip.rs:8

Metadata

Metadata

Assignees

No one assigned

    Labels

    to doTo do comments in codetracker🤖 issue managed by tracker bot

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions