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
Ivan Karpeev
03 Oct 2023
Expanding zkLLVM compiler towards accessible zkML
TACEO is aiming to bring zkML-powered large language models (LLMs starting from GPT-2) to Ethereum by extending =nil;’s zkLLVM with ONNX frontend
Ivan Karpeev
26 Apr 2023
=nil; zkLLVM + Proof Market: Enabling accessible and effective zkProofs for all
= nil; Foundation solutions to streamline zk Proof generation process
Nikita Kaskov and Mikhail Komarov
02 Feb 2023
=nil; zkLLVM Circuit Compiler
Proving computations in mainstream languages with no zkVM's needed