👍2
Web3ReadList
https://taiko.mirror.xyz/tk8LoE-rC2w0MJ4wCWwaJwbq8-Ih8DXnLUf7aJX1FbU 一个更加详细的介绍 #zk 递归证明的文章
anoma.net
SuperSpartan by Hand | Blog - Anoma
The goal of this article is to dive into the techniques behind the SuperSpartan's polynomial IOP, which uses the sum-check protocol to prove CCS instances, by writing the protocol explicitely for a specific example. This is part 1 of a two-post series. These…
👍1
Please open Telegram to view this post
VIEW IN TELEGRAM
The Bitcoin Dev Project
Find your way in bitcoin open source
👍3
https://mirror.xyz/karnot.eth/KU9VQAEm-WlLpAtjg8jkqtBauq7yXu4stdVil7Sp47M
总结了区块状态存储算法并提出了新的新的状态存储模型 Bonsai Tree
总结了区块状态存储算法并提出了新的新的状态存储模型 Bonsai Tree
👍2
https://blog.icme.io/minimal-space-maximum-pace-how-memory-efficient-zero-knowledge-proofs-work/
#zk 性能优化设计
#zk 性能优化设计
ICME
Minimal Space, Maximum Pace: How memory efficient zero-knowledge proofs work
In the rapidly evolving world of blockchain and cryptography, we often hear about blazing-fast zero-knowledge virtual machines (zkVMs) designed to scale Ethereum or tackle large-scale computational problems. However, for true privacy, ZKPs need to run locally.…
👍1