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证明的横向对比等功能。
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的定义和协议。