a new Scalable Transparent Argument of Knowledge -based proof system called Boojum that promises to run on consumer-grade general processing units .
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 instead of powerful hardware and servers.
Before the launch of Boojum, zkSync was mainly dependent on zk-SNARKs, which were capable but comparatively less transparent than zk-STARK-based systems. The earlier system processed about 100 transactions per second, while Boojum promises to offer superior processing capabilities.In the final stage of the implementation, the new proof will wrap the STARK proofs with a non-transparent pairing-based SNARK. It will essentially be a slightly upgraded version of the current SNARK-based proof system.
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.