Skip to content

chore: Tube-related clean up#17064

Merged
federicobarbacovi merged 6 commits intomerge-train/barretenbergfrom
fb/tube_cleanup
Sep 19, 2025
Merged

chore: Tube-related clean up#17064
federicobarbacovi merged 6 commits intomerge-train/barretenbergfrom
fb/tube_cleanup

Conversation

@federicobarbacovi
Copy link
Contributor

Clean up of tube-related files and functions following the move of the tube to Noir (see #16400 and #16713)

Closes AztecProtocol/barretenberg#1523

@federicobarbacovi federicobarbacovi self-assigned this Sep 16, 2025
@federicobarbacovi federicobarbacovi added the ci-full Run all master checks. label Sep 16, 2025
@federicobarbacovi federicobarbacovi marked this pull request as ready for review September 16, 2025 11:52
info("Recursive Verifier: finalized num gates = ", builder.num_gates);
}

TEST_F(ClientIVCRecursionTests, ClientTubeBase)
Copy link
Contributor Author

@federicobarbacovi federicobarbacovi Sep 16, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This test is subsided by this test in civc_recursion_constraints (in that test we prove and verify a circuit containing a CIVC recursive verifier, i.e., a tube circuit) and by ultra recursive verifier tests, which test that an ultra recursive verifier can be proven and verified.

Together, these tests ensure that a CIVC recursive verifier can be proven and that its proof can be recursively verified, which are the two cases of interest:

  • CIVC recursive verifier proven = Private Base Rollup
  • CIVC recursive verifier proven and recursively verified = Public Base Rollup

}

// Ensure that the Client IVC Recursive Verifier Circuit does not depend on the Client IVC input
TEST_F(ClientIVCRecursionTests, TubeVKIndependentOfInputCircuits)
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This test is a duplicate of this test in civc_recursion_constraints

@federicobarbacovi federicobarbacovi force-pushed the fb/tube_cleanup branch 2 times, most recently from 6072dda to 221cd9e Compare September 17, 2025 10:42
Copy link
Contributor

@ledwards2225 ledwards2225 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice! Thanks for doing this

# - Upload the compressed results: aws s3 cp bb-civc-inputs.tar.gz s3://aztec-ci-artifacts/protocol/bb-civc-inputs-[hash(0:8)].tar.gz
# Note: In case of the "Test suite failed to run ... Unexpected token 'with' " error, need to run: docker pull aztecprotocol/build:3.0
pinned_short_hash="58c67fe7"
pinned_short_hash="a659d9fa"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I assume this is just an outdated conflict?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it was a conflict that came about after CI run successfully on this PR. I rebased and now there are no merge conflicts

@federicobarbacovi federicobarbacovi merged commit 6f363f6 into merge-train/barretenberg Sep 19, 2025
6 checks passed
@federicobarbacovi federicobarbacovi deleted the fb/tube_cleanup branch September 19, 2025 09:11
github-merge-queue bot pushed a commit that referenced this pull request Sep 22, 2025
BEGIN_COMMIT_OVERRIDE
chore: Tube-related clean up (#17064)
chore: cycle group cleanup #5 (#17026)
chore: `field_conversion` clean-up/int audit (#16898)
fix: bigfield veridise audit fixes (#16842)
END_COMMIT_OVERRIDE
fcarreiro pushed a commit that referenced this pull request Sep 22, 2025
Clean up of tube-related files and functions following the move of the
tube to Noir (see
#16400 and
#16713)

Closes AztecProtocol/barretenberg#1523
mralj pushed a commit that referenced this pull request Oct 13, 2025
Clean up of tube-related files and functions following the move of the
tube to Noir (see
#16400 and
#16713)

Closes AztecProtocol/barretenberg#1523
ludamad pushed a commit that referenced this pull request Dec 16, 2025
Clean up of tube-related files and functions following the move of the
tube to Noir (see
#16400 and
#16713)

Closes AztecProtocol/barretenberg#1523
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-full Run all master checks.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants