Skip to content

Conversation

@zliu41
Copy link
Contributor

@zliu41 zliu41 commented Oct 14, 2025

This makes costing much easier, since unionValue involves integer addition. If we allow unbounded integers, then the integer sizes would need to be taken into account.

The Int128 range is chosen because the ledger allows amounts up to 264-1. However builtin Values may be used for intermediate computation where the amounts temporarily exceed that limit. So to be safe we propose using [-2127, 2127-1].

cc @colll78 @kwxm @ana-pantilie @effectfully @Unisay @basetunnel @fallen-icarus @SeungheonOh @MicroProofs

@rphair rphair added Update Adds content or significantly reworks an existing proposal State: Last Check Review favourable with disputes resolved; staged for merging. Category: Plutus Proposals belonging to the 'Plutus' category. labels Oct 15, 2025
Copy link
Collaborator

@rphair rphair left a comment

Choose a reason for hiding this comment

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

I'm approving this as a matter of course (and tagging Last Check which can be repealed upon any objection) following from #1088 (comment) on the already merged update, while also looking forward to review from those tagged. With sufficient confirmation we can put this though by the next CIP meeting: https://hackmd.io/@cip-editors/122

Copy link
Collaborator

@Crypto2099 Crypto2099 left a comment

Choose a reason for hiding this comment

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

Simple change, looks good

Copy link
Collaborator

@Ryun1 Ryun1 left a comment

Choose a reason for hiding this comment

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

thanks for the update @zliu41

@rphair rphair merged commit 22b4636 into cardano-foundation:master Oct 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Category: Plutus Proposals belonging to the 'Plutus' category. State: Last Check Review favourable with disputes resolved; staged for merging. Update Adds content or significantly reworks an existing proposal

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants