[Tracking] Pre-release of the mainnet branch

[howardwu]

[Tracking] Pre-release of the mainnet branch

Changelog

Most changes are confirmed audit fixes from the recent series of audits in preparation for mainnet. The remaining changes are either requests from custodians or necessary changes for compatibility with mainnet (i.e. URL paths, network IDs, etc.).

• [ZKS-05] Caller Is Not Fixed Throughout Function Execution #2076
• [Fix] Prevent passing in too many public inputs to Varuna #2094
• [Fix] Fix circuit for cast lossy field to group. #2133
• [NCC-Y7H] Create compute_function_id helper which enforces minimal TLV encoding #2154
• [TOB-19] Update committee member sorting #2162
• [Stress-04] Create nested tree for finalize root #2170
• [ZKS-04] Fixes the maximum transmissions per batch, increases the transactions per block #2198
• [NCC-EVJ] Use Committee stakes when determining the timestamp of a Subdag #2223
• [Fix] Add signature to reserved keywords. #2238
• [ZKS-03] Proof Delegation Is Subject To Truncation #2267
• [Fix] Declare public variable 1field once #2268
• [HackerOne-2300725] Limit the number of allowed constraints for deployments #2271
• [Refactor] Adds some tests and contains some documentation suggestions for the fix/cast-lossy-field-to-group PR #2272
• [Feature] Enable cast.lossy for all literal types. #2273
• [NCC-ADN] Prevent ignoring proving/verifying tasks #2 #2276
• [Stress-06] Price Finalize Opcodes Based On Operand Types #2281
• [Test] add tests for subgroup membership/nonmembership of small order curve points #2282
• [Fix] Store the aborted solution IDs in blocks #2284
• [Coinbase Go/No-Go] Bond balances in genesis block #2308
• [Fix] Add checks for existing transactions and solutions #2313
• [Fuzzing-ILT] Disallow Identifiers with the same form as LiteralTypes. #2319
• [ZKS-00] Reverts election certificates #2343
• [Refactor] Renames Testnet3 to MainnetV0 #2347
• [HackerOne-2354265] Restrict number of imports, program depth, and call depth. #2352
• [ZKS-02] Fix committee usage when calculating the next timestamp #2353
• [Cleanup] Address TODOs for Command parsers and serializers. #2355
• [Fix] Relax ordering checks for futures #2356
• [Feature] Adds a histogram label #2357
• [ZKS-02] Use committee lookback at anchor_round - 1 for timestamp calculation #2358
• [Fix] Fix unit test string::test_random #2363
• [nit] Use checked_add for account supply calculation #2364
• [Feature] Introduce TRANSACTION_SPEND_LIMIT. #2368
• [Fix/Optimize] Fixes and optimizes calculation of execution cost.  #2369
• [ZKS-02] Introduce Committee IDs  #2374
• [HackerOne-2311934] Verify transactions prior to speculation #2376
• [ZKS-08][HackerOne-2289066] Make leader election tamper resistant #2378
• [Fix] Limit program size to 100KBs #2384
• [Go/No-Go] ARC-0037 - Introduce withdrawal address for stakers #2385
• Update Staker requirements and BatchHeader::MAX_CERTIFICATES #2386
• Bound parallel verification of transactions #2387
• add tests for poseidon #2394
• Add parallelism to BatchHeader and Committee deserialization #2395
• Update inputs in genesis transactions  #2396
• Replace self.caller with self.signer in fee_public #2397
• [Fix] Don't re-seed the TestRng when calling check_merkle_tree #2399
• [Feature] Updates the puzzle integration for development and testing #2401
• Bumps MSRV to 1.76.0 and updates Clippy #2405
• Update is_open flag to check for new stakers #2406
• [HackerOne-2332566] Update the target threshold #2410
• [Optimize] Add more descriptive error messages #2411
• [HackerOne-2332566] Unify target calculations #2412
• [Log] Changes to epoch hash. #2420
• [Fix] Use original transaction ordering in speculation #2421
• [Fix] Use previous block for proof target. #2422
• [Test] Proof target tests #2423

Disclaimer

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.