Skip to content

tooling/provekit-fixtures/tests/shared/mod: support fields whose base and extension differ by drawing the LogUp #474

Description

@recmo

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

support fields whose base and extension differ by drawing the LogUp
challenges in the base field.

}

/// Challenge-bearing roundtrip suite (LogUp + multi-challenge). The witness
/// holds challenge-derived (ext) values, so this requires an `Identity` field
/// where the base and extension fields coincide.
// TODO: support fields whose base and extension differ by drawing the LogUp
// challenges in the base field.
#[macro_export]
macro_rules! challenge_roundtrip_suite {
    ($field:ty, $register:path) => {
        #[test]
        fn logup_lookup_size_sweep_roundtrip() {

From tooling/provekit-fixtures/tests/shared/mod.rs:413

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

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

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions