Aiken Files

Release Notes

Added

• aiken-lang: Add first-class UPLC Value support, exposed in Aiken as Value. This adds insert_value, lookup_value, union_value, contains_value, value_data, un_value_data, and scale_value to aiken/builtin, with canonical Plutus V3 conformance coverage. @Riley-Kilgore, @KtorZ
• aiken-lang: Aiken now supports Value literals such as:

aiken { #"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa": { #"bb": 42, "✨": 1, } } @KtorZ

Changed

• uplc: Skip computing argument sizes for the Data, pair and polymorphic builtins (unConstrData, unListData, unMapData, constrData, listData, mapData, chooseData, mkPairData, fstPair, sndPair, ifThenElse, chooseUnit and trace) whenever their costing functions are constant, as is already done for the list builtins. Execution budgets are unchanged, while evaluating scripts that inspect large Data values (such as the script context) gets several times faster. @colll78
• aiken-lang: Add support for data-reification and constant-reification for values; and as a consequence, reify any value-like data into a value expression literal (i.e. anything isomorphic to Dict<ByteArray, Dict<ByteArray, Int>> now reifies to a value, with nice formatting. @KtorZ

Fixed

• aiken-lang: Report unexpected end-of-file errors at the source byte offset instead of the token count. @jtranq
• aiken-lang: Correctly prevent upcasting Data from types containing opaque types or aliasing opaque types. @KtorZ
• aiken-lang: Force disambiguation of unbounded empty lists during type unification when detected to prevent generating invalid UPLC that could cause runtime errors. @KtorZ
• aiken-project: Reduce memory usage and processing time during test executions and compiler optimizations. @colll78
• uplc: Convert bls12_381_g1_multi_scalar_mul / bls12_381_g2_multi_scalar_mul arguments from Aiken's data-encoded lists to the typed List<Int> and List<G1Element> / List<G2Element> constants expected by the builtins, like already done for write_bits. Fixes #1378. @perturbing
• uplc: Keep a builtin call untouched when constant folding cannot evaluate it (e.g. replicate_byte with a size above the 8192-byte limit) instead of crashing the optimizer on an unwrap; the optimizer now only commits its bookkeeping once the evaluation succeeded. @jtranq
• aiken-project: save and restore cyclic function indices before and after constant evaluation to avoid free uniques due to reentrancy. @KtorZ
• aiken-lang: Report module constant evaluation failures as compiler errors instead of panicking during UPLC generation. @KtorZ

Install aiken 1.1.24

Install prebuilt binaries via shell script

:::sh
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/aiken-lang/aiken/releases/download/v1.1.24/aiken-installer.sh | sh

Install prebuilt binaries via powershell script

:::sh
powershell -ExecutionPolicy ByPass -c "irm https://github.com/aiken-lang/aiken/releases/download/v1.1.24/aiken-installer.ps1 | iex"

Install prebuilt binaries into your npm project

:::sh
npm install @aiken-lang/aiken@1.1.24

Install prebuilt binaries via Homebrew

:::sh
brew install aiken-lang/tap/aiken

Download aiken 1.1.24