=nil; Foundation
The =nil; Foundation is building a set of products that utilize zk-SNARKS to enhance the scalability of Ethereum, including zkSharding, zkLLVM, and the =nil; Proof Market. We are collaborating with the =nil; Foundation as their technical advisor, having conducted a feasibility study on integrating their Proof Market with Aleo and Aztec. The study included an overview of the relevant proof systems, a detailed analysis of their codebases, steps to modify them for proof outsourcing, and a detailed proposal for a modular integration with the =nil; Proof Market.