Web3の実行を再考していますか？Anomaは仮想マシンなしでどのように機能しますか？

ほとんどのブロックチェーンは、EVM、WASM、またはMoveVMのような仮想マシン(VMs)に依存して、コントラクトロジックをステップバイステップで実行します。しかし、これらのVMはプライバシー、調整、または意図駆動の価値フローのために構築されていません。

仮想マシンなし。バイトコードなし。ガスに縛られたロジックなし。

ここに仕組みがあります:

🔹 リソース中心の実行:
Anomaのリソースには、タイプ、状態、制約があります。リソースマシンは、段階的な指示ではなく、形式論理を使用して状態遷移を検証します。つまり、ガスは不要で、スタックオーバーフローもなく、あいまいな動作の余地もありません。

🔹 ZKとプライバシーによる設計:
実行が命令ベースではないため、Anomaはゼロ知識証明、暗号化された状態遷移、およびマルチパーティマッチングを容易に統合します。プライバシーと意図の調整のために最初から最適化されています。

🔹 正式に検証可能:
すべての実行経路は数学的に正しいことが証明できます。バグや経済的な漏洩は、悪用される前に検出可能になります。設計上安全であり、単なる最善の努力ではありません。

🔹 Juvixによる開発者ツール:
AnomaはJuvixを紹介します。これはHaskell/OCamlスタイルとZKロジックを組み合わせた関数型言語です。開発者は実行のための低レベルコードではなく、価値の流れのための高レベルルールを書くことができます。

Anomaは、従来のdAppモデルを3層アーキテクチャで再構築します:
1.インテントレイヤー：ユーザーは、何を望んでいるかを説明し、どのようにそれを得るかは説明しません。
2.Solver Network: 分散エージェントがプロトコルを横断してこれらの目標を達成するために調整します。
3.柔軟な決済:イーサリアム、ソラナ、ビットコイン、またはあなた自身のチェーンで結果を確定します。

Anomaは単なる別のブロックチェーンではありません
これは、アプリが意図に基づいて動作し、プライバシーを尊重し、デフォルトでチェーンに依存しないマルチチェーンの未来のための調整OSです。

これは暗号の次の層です。