Blog
Stay in touch with our products development and explore zero-knowledge technology
Alexander Evgin, Nikita Kaskov
31 Oct 2023
zkLLVM update: Rust circuit compiler
A new extension to zkLLVM to enable developers with direct circuit compilation from Rust is available, in addition to C++ and ONNX
Mikhail Komarov, Aleksey Sofronov, and Haresh Gedia
05 Nov 2022
Danksharding for various protocols via =nil; Proof Market
Pluggable Scaling via Provable Queries
Mikhail Komarov
01 Nov 2021
Mina-Ethereum State Proof Verification Applications
How would an in-EVM Mina state verification-based bridge work?
Mikhail Komarov
01 Nov 2021
Solana-Ethereum Bridge Based on Light-Client State Proof Verification
How would a bridge built on top of that work?