Posts

Showing posts with the label proof

zkSync launches new STARK-based proof system with a focus on mass usability

The latest proof system promises to better throughput than the current 100 TPS rate and reduce costs in the long term. Ethereum (ETH) layer-2 scaling solution zkSync Era has  launch ed a new STARK- based proof system called Boojum that promises to run on consumer-grade GPU system s. zkSync Era is one of a handful of Ethereum scaling protocols that makes use of zero-knowledge rollups (ZK-rollup) to increase capacity and speed while reducing fees. ZK-rollups mostly use two prominent proof systems, namely zk-STARK and zk-SNARK. zk-SNARK stands for a zero-knowledge succinct non-interactive argument of knowledge, while zk-STARK stands for zero-knowledge scalable transparent argument of knowledge. The new Boojum proof system is based on a Rust- based cryptographic library from zkSync that implements an upgraded version of arithmetic circuits for zkSync Era and its ZK developer stack. Most importantly, it allows Boojum provers to be run on everyday personal computers, as opposed to po