`tooling/provekit-fixtures/tests/shared/mod`: support fields whose base and extension differ by drawing the LogUp
Nobody has claimed this yet.
Assessment
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Newbie friendliness
- 52/100
Research direction
Start in tooling/provekit-fixtures/tests/shared/mod.rs around the challenge_roundtrip_suite macro and inspect its LogUp roundtrip tests and field assumptions. Trace how the suite obtains its challenges, then run the affected fixture tests; done means the challenge-bearing roundtrip suite also works when the base and extension fields differ.
Written by the indexing model from the issue text.
Description
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() {
- Dominant language
- Noir
- Stars
- 138
- Forks
- 47
- Avg merge
- 1d 34m
- Merged PRs (30d)
- 6
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from worldfnd/provekit
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
-
Difficulty 1/5 Under an hour Newbie friendliness 68/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
All issues in worldfnd/provekit
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
bancolombia/sentinel#23 ·
-
test md OpenCI
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 86/100
kwakseongjae/auto-hwp#319 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
-
bug: AI Gateway client filter lists "Unknown" twice when NULL and literal Unknown clients coexist Openbug
Difficulty 2/5 1-3 hours Newbie friendliness 90/100