トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Carsten Munk ☕️☕️
CTO @ Zippie、前 @cartesiproject
Carsten Munk ☕️☕️ reposted
プライベートスマートコントラクトを構築する方法:
- zkSNARK: 状態はコミットメントであり、単一の証明者がプレーンテキストで計算し、zkSNARK を投稿し、グローバルな復号化やアクセス制御はありません。
- coSNARK: 状態はコミットメントであり、計算は MPC 経由でオフチェーンであるため、単一のサーバーが完全な証人を見ることはなく、グローバルな復号化やアクセス制御もありません。
- TEE: 状態は外部の暗号文であり、エンクレーブ内の平文であり、計算とポリシー ゲートによる復号化は、ハードウェア/構成証明の整合性に依存して、リモートで証明されたエンクレーブ内で実行されます。
- FHE: 状態は共通の FHE キーの暗号文であり、誰でもオンチェーン検証で準同型評価でき、復号化はしきい値委員会によってポリシーが制限されます (共謀リスク)。
- iO: 状態は暗号文で、コンピューティングは準同型であり、パブリックの難読化された復号化ツールは、ライブ キーホルダーなしで復号化ポリシーを適用します (共謀のリスクはありません)。
839
Carsten Munk ☕️☕️ reposted
これほど多くの主要な L2 がステージ 1 にあるのは驚くべきことです。
私たちが目指すべき次の目標は、私の考えでは、有効性(別名ZK)証明システムによって実現される、高速(<1時間)の出金時間です。
これはステージ2よりもさらに重要だと考えています。
出金に1週間待つのは人々にとって長すぎるため、またインテントベースのブリッジング(例:ERC-7683)の場合、流動性プロバイダーが1週間待たなければならない場合、資本コストが高すぎます。これにより、完全に独立した L1 ではなく L2 を持つという意味全体が損なわれる、容認できない信頼の仮定 (マルチシグ/MPC など) を持つソリューションを使用する大きなインセンティブが生まれます。
ネイティブの出金時間を短期的には 1 時間未満、中期的には 12 秒に短縮できれば、イーサリアム L1 を資産発行のデフォルトの場所として、またイーサリアム エコシステムの経済の中心地としてさらに強固にすることができます。
そのためには、本質的に出金までに数日待つ必要がある楽観的な証明システムから脱却する必要があります。
歴史的に、ZK 証明技術は未熟で高価であったため、楽観的な証明が賢明で安全な選択でした。しかし最近、これは急速に変化しています。 は、急速に改善されている ZK-EVM 証明の進捗状況を追跡するのに最適な場所です。ZK証明の正式な検証も進んでいます。
今年の初め、私は、セキュリティ、スピード、成熟度の間の針に糸を通す、ZK + OP + TEE の 2-of-3 プルーフ システム戦略を提案しました。
* 3 つのシステムのうち 2 つ (ZK、OP) はトラストレスであるため、単一のアクター (TEE メーカーまたはサイド チャネル攻撃者を含む) は、信頼の前提に違反して証明システムを破壊することはできません
* 3つのシステムのうち2つ(ZK、TEE)は即時であるため、通常の場合に迅速な出金が得られます
* 3 つのシステムのうち 2 つ (TEE、OP) は、長年にわたってさまざまな状況で生産されています
これは 1 つのアプローチです。おそらく人々は代わりにZK + ZK + OPタイブレーク、またはZK + ZK +安全保障理事会タイブレークを行うことを選択するでしょう。私はここで強い意見はありませんが、(通常の場合)高速で安全であるという根本的な目標を気にしています。
このような証明システムでは、迅速な決済に残っている唯一のボトルネックは、オンチェーンで証明を送信するためのガスコストになります。これが、私が1時間に1回と短期的に言う理由です:500k+ガスZKプルーフ(または5mガスSTARK)をはるかに頻繁に提出しようとすると、高い追加コストが追加されます。
長期的には、これを集計で解決できます: N 個のロールアップからの N 個の証明 (およびプライバシー プロトコル ユーザーからの txs) を、N 個の証明の有効性を証明する単一の証明に置き換えることができます。これは、スロットごとに 1 回送信するのが経済的になり、L1 を介したほぼ瞬時のネイティブ クロス L2 資産移動というエンドゲームが可能になります。
これを実現するために一緒に働きましょう。
312.27K
Carsten Munk ☕️☕️ reposted
分散型シーケンスは、検閲耐性と信頼の最小化のためのソリューションです。 必ずしも稼働時間の向上を意味するわけではありません。
ロールアップは、インフラが集中化されているため、非常に高い稼働時間を維持できます。 分散型シーケンス (信頼できない当事者間で) は、シーケンサーに障害が発生する常のリスクを伴います。 ネットワークはこれらの障害からより早く回復する可能性がありますが (昨日の @base と比較して <33 分)、障害が発生する可能性は高くなります。
分散型シーケンスには多くの利点がありますが、すべての問題に対する特効薬ではありません。
724
トップ
ランキング
お気に入り
Trending onchain
Trending on X
Recent top fundings
Most notable