Blog
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
Mikhail Komarov
19 Jan 2023
Bridging Mina to Ethereum via =nil; Proof Market
A road to production
Mikhail Komarov
19 Jan 2023
=nil; Proof Market
Trustlessness (data access, bridges, scaling) needs proofs