https://medium.com/feed/milkomeda%E6%97%A5%E6%9C%AC State Proofs by シルビオ・ミカリ
top of page
怜玢
    • 2022幎9月25日
    • 読了時間: 5分

State Proofs by シルビオ・ミカリ



State Proofs

by シルビオ・ミカリ


今日は、アルゎランドの最新技術に぀いおたずめおみたいず思いたす。State Proofs状態蚌明です。


そのゎヌルState Proofsは、私たちのブロックチェヌンが、誰もが簡単に怜蚌可胜な方法で、任意のメッセヌゞにデゞタル眲名を行うこずを可胜にしたす。これは明らかにブロックチェヌンの基本的な胜力です。


ちょっず埅ったりォレット𝓌がメッセヌゞMのデゞタル眲名であるSIG𝓌(M)を介しおメッセヌゞMの承認を衚明できるこずはわかりたす。でも アルゎランド・ブロックチェヌンがMにデゞタル眲名をするずいうのはどういうこずでしょうか


䞭倮集暩的なアプロヌチ完党に䞭倮集暩化されたブロックチェヌンでは、メッセヌゞMに察するチェヌンのデゞタル眲名は、「チェヌン暩嚁」のMに察するデゞタル眲名ずしお遞択され埗たす。少しだけ䞭倮集暩的でないチェヌンでは、「チェヌン暩嚁」の小セットのMに察する眲名で構成されるかもしれたせん。


このような䞭倮集暩的なアプロヌチは実装が簡単ですが、1぀たたはいく぀かの暩嚁をハッキングするこずは䞍可胜ずは皋遠いため、安党でもありたせん。さらに、䞭倮集暩がたすたす疑問芖される䞖界においお、1぀たたはいく぀かの暩嚁がチェヌン党䜓を代衚しおメッセヌゞに眲名するこずは、単に受け入れがたいこずです。


私たちのアプロヌチアルゎランドのアプロヌチは、い぀ものように、真の分散化の䞀぀です。すなわち、どのようなタスクであっおも、それに参加しようずするすべおの人に参加を認めるだけでなく、技術的にもそれが可胜な状態にするのです。䟋えば、普通のコンピュヌタでも、やろうず思えば私たちの合意圢成のプロセスに参加するこずができたす。アルゎランドのコンセンサスには、蚈算䞊のハヌドルや゚リヌトクラブは存圚せず、むしろ意欲的な参加者すべおに開かれおいたす。State Proofsにおいおも、同様のアプロヌチをずっおいたす。


私たちの考え私たちの「ブロックチェヌン眲名」の考えは、抂念的に次のように説明されたす。チェヌン党䜓を代衚しおメッセヌゞにデゞタル眲名するこずを望むすべおのりォレットは、チェヌン䞊に別の公開怜蚌キヌを掲瀺し、䞀臎する秘密の眲名キヌを非公開にしおおく。


Wをそのような意志のあるりォレットの集合ずし、SǔをW内のすべおのりォレットが集合的に所有するステヌクずしたす。W内の意志のあるりォレット𝓌は、通垞通りメッセヌゞMの個々の眲名、SIG𝓌(M) を䜜成したす。このような眲名の集たりは、Mに眲名するりォレットが集団で総出資額Snjの十分な割合を所有しおいれば、MのState Proofsずなりたす。


問題点もちろん、非垞に倚くのステヌクを衚珟するには、非垞に倚くのデゞタル眲名が必芁ずなり、State Proofsは扱いにくくなりたす。䟋えば、Wが10億のりォレットで構成され、それぞれが少数のAlgoを所有しおいる堎合、State Proofsは䜕億もの眲名で構成されるこずになりたす。


解決策䞊蚘の問題を解決するために、メッセヌゞMのState Proofsにおける眲名の数を劇的に枛らす䞀方で、Mが本圓にSǔの十分な割合によっお裏付けられおいるこずを蚌明する胜力は維持したす。


次に、Mに察するより倧きな眲名の集合を集め、集合的にSǔのやや倧きな割合、䟋えばSǔの80%がMを承認しおいるこずを瀺したす。この時点で、特別な暗号的遞択プロセスにより、この倧きな集合Mからどの眲名が特別なサンプルの䞀郚ずなるかが、蚌明可胜な方法で決定されたす。この暗号的な遞択プロセスは、たずえ地球䞊の党蚈算資源を所有する敵であっおも停造するこずはできたせん。その結果、特別なサンプルは非垞に小さくなりたす。実際、党出資額SᎥの70%を代衚するためにMの眲名がどれだけ必芁であろうず、サンプルにはMのデゞタル眲名が最倧1400件含たれ、それぞれが所定の暗号的遞択をパスしたこずの蚌明ずなりたす。


ある意味で、1400の遞択蚌明は、すべおの眲名が含たれおいないにもかかわらず、Mが確かにSnjの70%で裏付けられおいるこずを蚌明するのに必芁なすべおの眲名が実際に存圚するこずを保蚌するものです。


たずめるず、State Proofsは非垞にコンパクトで、安党で、怜蚌も超簡単です。


私たちの応甚State Proofsは非垞に有甚です。特に、すぐに分かるように、State Proofsは、以䞋のこずを可胜にしたす。


  • アルゎランド・ブロックチェヌンが量子攻撃に察しお安党になりたす。

  • アルゎランドず他のブロックチェヌンずの間の分散型ブリッゞの構築、そしお

  • 新しいノヌドが「初期化」情報を信甚する必芁なく、我々のコンセンサス・プロセスに参加するこずができるようになりたす。


ご期埅ください


私たちのコミットメント前述したように、State Proofsは倚くの新しい技術の根幹をなすものです。同時に、それらはFalconのような他の技術によっお実珟されおおり、私たちのチェヌンや゚コシステム党䜓ですでに利甚可胜になっおいたす。このような技術の緊密なタペストリヌを開発するこずは、必芁であるず同時に矎しいこずです。ブロックチェヌンは䟡倀ある志です。しかし、その志は真の技術によっお維持され、実珟されなければなりたせん。


アルゎランドは、最も環境に優しく、最も安党で、最も分散化され、最も効率的な、パブリック・ブロックチェヌンを動かすための最高の技術を提䟛するこずを玄束したすので、ご安心ください。


GOアルゎランド


もっず知りたいですかState Proofsに぀いお、たたアルゎランドのテクノロゞヌ・パヌクでの䜍眮づけに぀いおもっず知りたい方は、以䞋のような読み物や資料がおすすめです。


  • Algorand State Proofs; Noah Grossman, Sr Product Manager Blog

  • Compact Certificates of Collective Knowledge; Micali et al. IEEE S&P 2021 Paper

  • Post Quantum Algorand and State Proofs; MIT Bitcoin Expo 2022; Chris Peikert -Head of Cryptography Presentation

  • Compact Certificates of Common Knowledge; IEEE S&P 2021; Riad S. Wahby — Cryptography Researcher Presentation

  • Algorand State Proofs; ETH Denver 2022; Rotem Hemo — Director of PM Presentation

  • Securing Cross Chain Bridges With Algorand State Proofs; Consensus 2022; Noah Grossman, Sr PM Presentation

  • Subset-Sum Hash Specification Specification

  • Subset-Sum Cryptanalysis Cryptanalysis


元蚘事https://medium.com/algorand/state-proofs-e8c7c2dcb131

bottom of page