rkdud007 has released the awesome-zkvm open-source zkVM list, which covers various projects and resources, offering features such as cross-comparison for parallel proofs and GPU proving. rkdud007发布了awesome-zkvm开源zkVM列表,涵盖了多个项目和资源,支持并行证明和GPU证明的横向对比等功能。 rkdud007が、複数のプロジェクトやリソースを網羅したオープンソースのzkVMリスト「awesome-zkvm」を公開しました。このリストには、並列証明(parallel proving)やGPU証明(GPU proving)などの横断的な比較機能が含まれています。
The video provides a detailed overview of the definition, properties, and applications of the folding scheme, including its advancements after the Nova scheme, particularly focusing on the definition and protocol of Hypernova. 视频详细介绍了折叠方案的定义、特性、应用及其在Nova方案后的进展,特别是Hypernova的定义和协议。 本動画では、folding schemeの定義、特性、応用について詳細に解説し、特にNovaスキーム以降の進捗、とりわけHypernovaの定義とプロトコルについて説明します。