5 ms·
StarkNet is a turing complete virtual machine built on top of zero-knowledge proofs. The output of any StarkNet program can be transformed into an extremely su
by spir 5y ago
StarkNet is a turing complete virtual machine built on top of zero-knowledge proofs.
The output of any StarkNet program can be transformed into an extremely succinct zero-knowledge proof. This proof generation process is quite costly. But then, the proof itself is extremely tiny and may be verified extremely inexpensively.
Coincidentally with this post, StarkNet launched this week after seven years of R&D.
https://starkware.co/starknet/ https://starkware.co/starknet/
- runeks 5y agoInteresting! > This proof generation process is quite costly. Where can I find some benchmarks for creating various proofs? This technology can be groundbreaking or useless solely depending on how long it takes to create a given proof.
- spir 5y agoI don't have stats on that, but I'm sure the StarkWare community would love to help - a recent tweet by StarkWare President Eli on some performance stats https://twitter.com/EliBenSasson/status/1467161132569931784 https://twitter.com/EliBenSasson/status/1467161132569931784 - StarkWare discord server https://t.co/klHVDhQokP https://t.co/klHVDhQokP - StarkWare research forum https://community.starknet.io/ https://community.starknet.io/