リスク警告:「仮想通貨」「ブロックチェーン」の名のもとでの違法な資金調達のリスクに注意してください。—銀行保険監督管理委員会など5部門
検索
ログイン
简中
繁中
English
日本語
한국어
ภาษาไทย
Tiếng Việt
BTC
ETH
HTX
SOL
BNB
View Market
開発者必読: Zcash と Aleo のテクノロジーから始めて、プライベート トランザクションの設計原則を理解する
Sin7y
特邀专栏作者
2022-10-02 07:30
この記事は約4004文字で、全文を読むには約6分かかります
Zcash と Aleo の技術的な類似点と相違点を分析し、プライベート トランザクションの設計原則を理解します。

導入

最初のレベルのタイトルzerocash導入zerocashこの論文の観点から見ると、Aleo のプログラマブル プライバシー設計と初期の Zcash ホワイト ペーパーで採用されたプライバシー設計 (

上記の技術的な詳細に加えて、デリゲート証明者スキーム、ゼロ知識証明アルゴリズム、再帰/集計スキームなど、まだカバーされていない技術的な詳細がいくつかあります。興味のある学生は学習を続けることができます。

Zcash

最初のレベルのタイトル

1. Zcash について?

https://zcash.readthedocs.io/en/latest/rtd_pages/basics.html

特徴:

Zcash に関する約 2 分の短いビデオ。

• BTCの匿名バージョン、UTXOのようなモデル

• 支払いシナリオにのみ使用でき、プログラム可能ではありません

最初のレベルのタイトル2. 主な概念、最新バージョンのみに焦点を当てます。主に Zcash の核となる概念を紹介します。

2.1 Key components

副題
Zcash protocol specification: section 3.1, page 12

画像の説明Zcash protocol specification: section 4.2.3, page 36でできます

2.2 Note

これらのキーがどのように計算されるかを学びましょう。

note は、BTC の UTXO に似た、Zcash プロトコルの基本単位です。Zcash では、すべてのトランザクションの入力と出力はメモです。もちろん、Zcash は BTC の取引モードと同じ非匿名取引もサポートしています。

したがって、Zcash をより深く理解したい場合は、まずノートのデータ構造を理解する必要があります。
Zcash protocol specification: section 3.2, page 14

画像ソース

画像の説明
Zcash protocol specification: section 3.2, page 15

2.3 Action transfer

副題

画像の説明
Zcash protocol specification: section 4.6, page 41

2.4 Action statement

画像ソース

副題

プライバシー入力は次のとおりです。

証明ステートメントは次のとおりです。
Zcash protocol specification: section 4.17.1, page 40

画像の説明

画像ソース

• 使用済み紙幣の整合性は紙幣に一意に関連付けられます。

・使用済み紙幣の有効性、cmツリーの存在証明

• rcv、古い値、新しい値に一意にバインドされる、Value Promise の整合性

• Nullifier の完全性、二重支払いの防止、使用済みノートセットの維持

• 使用済み紙幣の合法性

• 新しいノートの完全性

• 旗の合法性

2.5 トランザクションの構造と例

2.5.1 トランザクション構造
Zcash protocol specification: section 7.1, page 119

画像の説明

•  Public info (1 - 5)

•  Transparent transactions info (6 - 9)

•  Sapling transactions info (10 - 16)

•  Orchard transaction info (17 - 25)

画像ソース

トランザクション構造全体は次の 4 つの部分で構成されます。

• Public info (1 - 5)

• Transparent transactions info (6 - 9)

2.5.2 透明からシールドへ

オーチャード プロトコルには、トランスペアレント アドレス (TA) とシールド アドレス (SA) の 2 種類のアドレスが含まれています。一般にプライベートトランザクションを実行するには、まずTAからSAへ送金する必要があり、このとき対応するトランザクション構造は次のようになります。

• Sapling transactions info (10 - 16)

ⅰ. tx_in_*: 実際の値

• Orchard transaction info (17 - 25)

ii. tx_out_*: デフォルト値

ⅰ. すべて:デフォルト値

ⅰ. すべて:実際の値

• Public info (1 - 5)

• Transparent transactions info (6 - 9)

2.5.3 シールドからシールドへ

• Sapling transactions info (10 - 16)

オーチャード プロトコルには、トランスペアレント アドレス (TA) とシールド アドレス (SA) の 2 種類のアドレスが含まれています。一般にプライベートトランザクションを実行するには、まずTAからSAへ送金する必要があり、このとき対応するトランザクション構造は次のようになります。

• Orchard transaction info (17 - 25)

ⅰ. すべて:デフォルト値

ⅰ. すべて:デフォルト値

ⅰ. すべて:実際の値

• Public info (1 - 5)

• Transparent transactions info (6 - 9)

2.5.4 シールドから透明へ

オーチャード プロトコルには、トランスペアレント アドレス (TA) とシールド アドレス (SA) の 2 種類のアドレスが含まれています。一般にプライベートトランザクションを実行するには、まずTAからSAへ送金する必要があり、このとき対応するトランザクション構造は次のようになります。

• Sapling transactions info (10 - 16)

ⅰ.tx_in_*: デフォルト値

• Orchard transaction info (17 - 25)

ⅰ. すべて:デフォルト値

副題

• Unlinkable

2.6 プライバシーを実現するにはどうすればよいですか?

• Private

ⅰ. Sender address:

文章

ⅱ. Receiver address:

生成された紙幣は cm で表され、使用済み紙幣は nf で表されます。nf と cm の間には関連性がありません。したがって、この情報を使用して、生成された紙幣がどのトランザクションで使用されたかを判断することはできません。

ⅲ. Value:

Note は pedersen コミットメントの形式で隠蔽され、トランザクションの残高プロパティは bindingsig を通じて保証されます。

Aleo

最初のレベルのタイトル

Zcash は OUTX モデルに基づいてプライバシー トランザクションのみを実行でき、プログラマビリティがありません。したがって、Aleo と Zcash の主な違いはプライバシー プログラマビリティです。同じ点は、どちらもプライバシー属性 (アセット クラスだけでなくトランザクション プライバシー) をサポートしていることです。 。

2. Aleo VS Zcash

2.1 Unit

副題

画像の説明
Zcash protocol specification: section 3.2, page 14

画像ソース
Zexe protocol specification: section 3.1, page 17

画像の説明

画像ソース

ノート所有者のアドレス情報、プロミス関連情報、nf/sn関連情報、バリュー関連情報に相当します。

副題

2.2 トランザクション構造
Zexe protocol specification: section 3.1, page 17

画像の説明

画像ソース

Zcash (2.5.1) の主要なトランザクション構造と比較すると、依然として類似しています。

▪ 所有者情報、対応する出生/死亡述語などを含む、新しく生成されたレコードのクレーム。

2.3 Prover statement

副題
Zexe protocol specification: section 2.4, page 13

画像の説明

画像ソース

証明する必要があります:

▪ 古い記録の有効性

▪ ▪ 新しいレコードの有効性

最初のレベルのタイトル

3.1 なぜすべてがアカウントベースではなく、utox ベースなのでしょうか?

Remark2.3(Zexe protocol specification: section 2.3, page 11

参照する

最初のレベルのタイトル

https://zips.z.cash/protocol/protocol.pdf

2. (Aleo)Zexe protocol specification(Figure4/5/6,Remark2.3):

https://eprint.iacr.org/2018/962.pdf

私たちについてhttps://z.cash/upgrade/

4. zerocash:https://eprint.iacr.org/2014/349.pdf

私たちについて

Sin7y は 2021 年に設立され、トップのブロックチェーン開発者で構成されています。私たちはプロジェクト インキュベーターであると同時にブロックチェーン テクノロジー研究チームでもあり、EVM、レイヤー 2、クロスチェーン、プライバシー コンピューティング、自律型決済ソリューションなどの最も重要で最先端のテクノロジーを研究しています。

WeChat 公開アカウント: Sin7Y

GitHub | Twitter | Telegram | MediumMirror | HackMD | HackerNoon

開発者
Odaily公式コミュニティへの参加を歓迎します
購読グループ
https://t.me/Odaily_News
チャットグループ
https://t.me/Odaily_CryptoPunk
公式アカウント
https://twitter.com/OdailyChina
チャットグループ
https://t.me/Odaily_CryptoPunk