- Concepts_Overview
- What is Casper?
- Design
- Economics
- アカウントと暗号鍵
- キー（Key）の型への理解
- Transactions（トランザクション）
- トランザクションのライフサイクル
- グローバルステート
- スマートコントラクト
- 認証鍵
- コールスタックへの理解
- Dictionaries（辞書）
- Binary Serialization Standardバイナリシリアライズ規格
- dAppsについて
- Glossary（用語集）
スマートコントラクト
一般的なスマートコントラクト
スマートコントラクトは、セルフ実行プログラムでありデジタルアグリーメントに必要なアクションを自動で行います。完了すると、トランザクション（取引）はトラッキング可能となり元に戻すことはできない状態になります。スマートコントラクトは、信用できるトランザクションと中央集権や法的なシステム、そして強制的な外部メカニズムを必要としない異なる匿名のグループ間での合意を許可します。
Casperのスマートコントラクト
Casperスマートコントラクトは、Wasmにコンパイル可能なプログラミング言語であればどれでも実装可能であり、トランザクションによるオンチェーンへのインストールや実行できます。殆どのドキュメンテーションの例やCasperのシステムコントラクトはRustで書かれています。ここでは、Rustでのシンプルなスマートコントラクトの書き方について確認いただけます。
セッションコード
セッションコードは、Casperネットワーク上で実行可能な最もシンプルなロジックの1つです。チェーン上に保存されたコントラクトロジックをトリガーする際にたまに使用されるため必須となっています。コントラクト内のエントリーポイントは、グローバルステートにインストールされたコントラクトコードへのアクセスを提供します。セッションコードもしくは他のスマートコントラクトによってこれらのエントリーポイントは呼び出されることがあります。コントラクトコードよりセッションコードを使用する際はここを理解しておいてください。
ファクトリーパターン
ノードバージョン2.0以降、Casperネットワークはファクトリー実装のホスト側のサポートを提供します。APIがアップデートされた際のサポートは、Casper blockchain上の既存Wasmとのシームレスなインテグレーションに焦点をあてます。グローバルステートに既にインストールされたコントラクトはこれらアップデートに影響されません。Casperの拡張提案対応では追加詳細を提供します。また、ファクトリーパターンの開発ガイドに従ってファクトリーエントリーポイントを用いたシンプルなコントラクトの書き方を習得できます。