リリースノート - v0.7.2

v0.7.2（2026年9月21日）

タイトル: 実行時チェックを遅延し、評価動作を統一

日付: 2026年9月21日

バージョン: v0.7.2

比較: v0.7.1…v0.7.2

このリリースでは、参照スクリプトの保存と実行チェックを分離し、評価動作を一貫させ、フェーズ2の拒否規則に検証を合わせ、安全なマップ処理のために CBOR デコーダーを更新します。

🔧 修正

• 改善 スクリプトバージョンの処理: アプリケーションは、宣言されたタームバージョンが実行をサポートしていない場合でも、正しい形式の参照スクリプトを保存およびデコードできます。評価前には、既存の Van Rossem 1.1.0 と PV11 の規則に基づき、タームバージョン 1.0.0 と 1.1.0 を受け入れます。一方、デコードでは台帳で利用可能な言語だけを確認し、Plutigo はサポートされていないバージョンを拒否します。Plutigo はバージョン 1.1.0 以降のコンストラクターでサポート処理を扱います。

• 簡素化 評価動作: Plutigo は言語バージョンごとに組み込み操作の不変定義を共有し、検証中にリプレイケースを一度だけデコードして、実行時にデコード済みのケースを再利用します。また、ネストしたスコープでは最も近いバインディングを使用し、その後で外側のバインディングを復元します。

• 修正 フェーズ2の検証: Plutigo は短いコストモデルのリストで不足しているパラメーターを math.MaxInt64 で補完します。これにより、対象の組み込み関数はコンパイル時に組み込まれたデフォルト値を使用せず、予算を使い果たします。PV11 は、エンコードされた型タグのサイズが 32 を超える定数を拒否し、Schnorr 検証は r または s が有効範囲外の場合に false を返します。

📦 追加の変更

• 更新 CBOR の安全性: デコーダーは github.com/fxamacker/cbor/v2 2.9.4 を使用します。この更新により、比較できないキー値を含む CBOR マップでデコーダーがパニックする可能性を防ぎます。

🙏 謝辞

Plutigo をご利用いただきありがとうございます。

---

Docs authored by Doc Holiday