Skip to content

drop query proofs in casting and agoric-cli#11022

Merged
mergify[bot] merged 3 commits intomasterfrom
ta/drop-query-proofs
Mar 8, 2025
Merged

drop query proofs in casting and agoric-cli#11022
mergify[bot] merged 3 commits intomasterfrom
ta/drop-query-proofs

Conversation

@turadg
Copy link
Member

@turadg turadg commented Feb 20, 2025

incidental

Description

CosmJS dropped support for query proofs because the JS implementation was removed from ics23.

There is no supported implementation so this removes the feature.

It leaves the code structure intact in case we can find another implementation, so the earlier API can be restored.

It drops the option entirely from agoric-cli so users aren't shown it in help and autocomplete.

Security Considerations

Loss of client-side proofs.

Scaling Considerations

none

Documentation Considerations

Code comments

Testing Considerations

CI

Upgrade Considerations

I can't find anything that was using it.

@turadg turadg requested a review from a team as a code owner February 20, 2025 03:07
@cloudflare-workers-and-pages
Copy link

cloudflare-workers-and-pages bot commented Feb 20, 2025

Deploying agoric-sdk with  Cloudflare Pages  Cloudflare Pages

Latest commit: 72715c5
Status: ✅  Deploy successful!
Preview URL: https://c538651d.agoric-sdk.pages.dev
Branch Preview URL: https://ta-drop-query-proofs.agoric-sdk.pages.dev

View logs

@turadg turadg added the force:integration Force integration tests to run on PR label Feb 20, 2025
Copy link
Member

@michaelfig michaelfig left a comment

Choose a reason for hiding this comment

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

Please leave signposts so the user is not confused.

},
'optimistic',
)
.option(
Copy link
Member

@michaelfig michaelfig Feb 20, 2025

Choose a reason for hiding this comment

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

Please don't make an unnecessary breaking change here. --proof=none is still legitimate.

Suggested change
.option(
.option(
'--proof <none>',
`set proof mode (currently only 'none' is supported)`,
value => {
assert.equal(
value,
'none',
X`--proof can only be 'none'`,
TypeError,
);
return value;
},
'none',
)
.option(

Copy link
Member Author

Choose a reason for hiding this comment

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

fair. I'll include something about the option being deprecated since it doesn't do anything.

Copy link
Member

Choose a reason for hiding this comment

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

I edited the above to suggest something better than before. Please take it into account.

Comment on lines +229 to +230
console.error('getProvenDataAtHeight', height, 'is no longer supported');
throw makeError(X`Verified queries are no longer supported`);
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
console.error('getProvenDataAtHeight', height, 'is no longer supported');
throw makeError(X`Verified queries are no longer supported`);
console.error('getProvenDataAtHeight', height, 'is no longer supported; use', { proof: 'none' });
throw makeError(X`Verified queries are no longer supported; use { proof: 'none' }`);

@turadg turadg requested a review from Copilot March 5, 2025 05:37
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

PR Overview

This pull request removes support for query proofs as the underlying JS implementation has been dropped, and updates the related APIs and CLI options accordingly.

  • In follower-cosmjs.js, the default proof mode is changed from "optimistic" to "none" and the deprecated function getProvenDataAtHeight now logs an error and throws an exception.
  • In agoric-cli, the --proof option is removed from the "follow" command so that users are no longer shown this unsupported option.

Reviewed Changes

File Description
packages/casting/src/follower-cosmjs.js Update default proof mode and deprecate getProvenDataAtHeight.
packages/agoric-cli/src/main.js Remove the CLI option related to query proofs.

Copilot reviewed 10 out of 10 changed files in this pull request and generated no comments.

@turadg turadg force-pushed the ta/drop-query-proofs branch from 7540e4e to 26ea874 Compare March 7, 2025 21:30
@turadg turadg requested a review from michaelfig March 7, 2025 21:31
@turadg turadg force-pushed the ta/drop-query-proofs branch from 26ea874 to 9506463 Compare March 7, 2025 22:52
@turadg turadg requested a review from samsiegart March 7, 2025 22:54
@turadg turadg added the automerge:rebase Automatically rebase updates, then merge label Mar 7, 2025
@turadg turadg force-pushed the ta/drop-query-proofs branch from 9506463 to 72715c5 Compare March 7, 2025 23:17
@turadg turadg dismissed michaelfig’s stale review March 7, 2025 23:17

requested changes were applied verbatim

@mergify
Copy link
Contributor

mergify bot commented Mar 8, 2025

This pull request has been removed from the queue for the following reason: checks failed.

The merge conditions cannot be satisfied due to failing checks:

You may have to fix your CI before adding the pull request to the queue again.

If you want to requeue this pull request, you can post a @mergifyio requeue comment.

@turadg
Copy link
Member Author

turadg commented Mar 8, 2025

The only failure is in test-multichain-e2e which is flaking. Bypassing now.

@turadg turadg added the bypass:integration Prevent integration tests from running on PR label Mar 8, 2025
@mergify mergify bot merged commit 9348280 into master Mar 8, 2025
96 of 99 checks passed
@mergify mergify bot deleted the ta/drop-query-proofs branch March 8, 2025 01:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automerge:rebase Automatically rebase updates, then merge bypass:integration Prevent integration tests from running on PR force:integration Force integration tests to run on PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants