Skip to content

Commit f4cdd2a

Browse files
committed
build(token): re-measure note circuits on compiler 0.34
Every circuit costs a little less than on 0.31.1, between 0.5% and 1.1%, with no k boundary crossed. `transfer` stays the one worth watching at roughly four fifths of the k=16 budget. The pinned compatibility vectors did not move: 0.34 changes what the circuits cost, not what they hash. So this is not a wire-format change and nothing was regenerated. The module needs no `--feature-zkir-v3`; it has no secp256k1 or ElGamal, and `compile:token` is the one directory script on main that stays on the v2 default.
1 parent b861303 commit f4cdd2a

1 file changed

Lines changed: 7 additions & 7 deletions

File tree

contracts/src/token/ConfidentialNoteFungibleToken.compact

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -259,7 +259,7 @@ module ConfidentialNoteFungibleToken<#depth> {
259259
* @description Mints a note of `value` to `recipientPk` with a core-derived
260260
* nonce and returns it.
261261
*
262-
* @circuitInfo k=15, rows=17410
262+
* @circuitInfo k=15, rows=17317
263263
*
264264
* @notice Hidden amount and recipient:
265265
* The entry point makes the mint public; the amount and the recipient stay
@@ -312,7 +312,7 @@ module ConfidentialNoteFungibleToken<#depth> {
312312
* @description Commits a caller-built note to `ownerPk`. No value
313313
* accounting: the caller owns conservation.
314314
*
315-
* @circuitInfo k=14, rows=10986
315+
* @circuitInfo k=14, rows=10924
316316
*
317317
* @notice Nonce reservation:
318318
* A duplicate nonce fails the transaction instead of committing a note born
@@ -395,7 +395,7 @@ module ConfidentialNoteFungibleToken<#depth> {
395395
* @description Burns `value` from the caller's input note: spends the note
396396
* and re-issues only the change, so `value` leaves circulation.
397397
*
398-
* @circuitInfo k=16, rows=36245
398+
* @circuitInfo k=16, rows=35953
399399
*
400400
* @notice No supply record:
401401
* The core writes no supply, so nothing on the ledger records that value was
@@ -466,7 +466,7 @@ module ConfidentialNoteFungibleToken<#depth> {
466466
* @description UNGATED building block: consumes the input note owned by
467467
* `spenderPk` and re-issues only `changeNote`, so `value` leaves circulation.
468468
*
469-
* @circuitInfo k=15, rows=23339
469+
* @circuitInfo k=15, rows=23147
470470
*
471471
* @warning No authorization:
472472
* The composer gates who may call this.
@@ -493,7 +493,7 @@ module ConfidentialNoteFungibleToken<#depth> {
493493
* @description The heart of the module: consumes the witness-supplied note
494494
* owned by `ownerPk` and publishes its nullifier.
495495
*
496-
* @circuitInfo k=14, rows=12248
496+
* @circuitInfo k=14, rows=12122
497497
*
498498
* @notice Where it is used:
499499
* By `_transfer` / `_burn`, and by custom spend paths such as clawback,
@@ -555,7 +555,7 @@ module ConfidentialNoteFungibleToken<#depth> {
555555
* @description Spends the caller's input note and creates a recipient note
556556
* of `value` plus a change note back to the caller, conserving value.
557557
*
558-
* @circuitInfo k=16, rows=53501
558+
* @circuitInfo k=16, rows=53110
559559
*
560560
* @notice Local private result:
561561
* Both notes return to the caller, who hands the recipient note over out of
@@ -595,7 +595,7 @@ module ConfidentialNoteFungibleToken<#depth> {
595595
* @description Consumes the input note owned by `spenderPk` and commits
596596
* `outNote` to `recipientPk` plus `changeNote` back, conserving value.
597597
*
598-
* @circuitInfo k=16, rows=34172
598+
* @circuitInfo k=16, rows=33899
599599
*
600600
* @notice Caller-built outputs:
601601
* Taking both notes as parameters lets a composer run its own emission

0 commit comments

Comments
 (0)