EPISODE · May 1, 2026 · 2 MIN
ブロックチェーンの裏側で動くゼロ知識証明
from 耳でテクノロジーニュース · host ryosan
「秘密を見せずに証明する」魔法みたいな技術なんですが、実はバグがあると暗号資産が一瞬で消える危険な代物。今回はスペインの研究者が発表した最新論文をもとに、6つの数学エンジンをオーケストラのように指揮して、ZKPのバグを爆速で見つける新ツール「ffsol」を解説します。既存最強ツール cvc5 を92.4% vs 83.4%で撃破した話、料理に例えながらゆるく語ります🎙️
What this episode covers
「秘密を見せずに証明する」魔法みたいな技術なんですが、実はバグがあると暗号資産が一瞬で消える危険な代物。今回はスペインの研究者が発表した最新論文をもとに、6つの数学エンジンをオーケストラのように指揮して、ZKPのバグを爆速で見つける新ツール「ffsol」を解説します。既存最強ツール cvc5 を92.4% vs 83.4%で撃破した話、料理に例えながらゆるく語ります🎙️
NOW PLAYING
ブロックチェーンの裏側で動くゼロ知識証明
0:00
2:02
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of 耳でテクノロジーニュース?
This episode is 2 minutes long.
When was this 耳でテクノロジーニュース episode published?
This episode was published on May 1, 2026.
What is this episode about?
「秘密を見せずに証明する」魔法みたいな技術なんですが、実はバグがあると暗号資産が一瞬で消える危険な代物。今回はスペインの研究者が発表した最新論文をもとに、6つの数学エンジンをオーケストラのように指揮して、ZKPのバグを爆速で見つける新ツール「ffsol」を解説します。既存最強ツール cvc5 を92.4% vs 83.4%で撃破した話、料理に例えながらゆるく語ります🎙️
Can I download this 耳でテクノロジーニュース episode?
Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.
URL copied to clipboard!