# Vietnam Vision statment New friends solving old problems ## Optimisation track ### Intro * We have many new tools that we can leverage to solve old problems * Lookup arguments (Baloo, lookup++), GKR, FRI , Sum check arguments, polynomial precompilies * The goal is to leverage these tools to solve two target prblems , stable diffusion and zkwasm * The secondary goal is to find the approahces that work best and build tooling to allow avrage developers to use these approaches. * A third goal is to bench mark these tools for various differnt problems. * All goals have roughtly equal prioirity. ## Tooling track * Halo2 is becomming an importnat peice of tooling for zkevm and possible also other things * The tooling is not gr8 * The goal of this track is to make the tooling of halo2 much better * This also connects with track one where members may pivot to make other tools better. * For example to implement zkwasm the most effective approach might be to make a halo2 high level language ## Product track * This track is to use zkps to build a product that 100's of users use. * *Brian I'll let you do this one ;)* * This connects with track Optisation track because we may need to reduce the prover time as much as possible to ensure a good UX, specifially if we can make sha256 effcient enough to run on mobile sub second that could help us alot. * This connects with the second track tooling because we will need to build out all the in browser tooling this includes, prover, witness generator, smart contract automatic deployer , browser verifier. ## Security ### Proof systems * As we invotate with new zkps the chance of intorducing security bugs is high. * for example choosing prarmeters for Fri is quite difficult * https://a16zcrypto.com/snark-security-and-performance/ * Goal 1 : Implement this attack for Fri * Goal 2 : Explore attacks against snark friendly hash functions ### Tooling anti patterns * Find anti paterns in the tooling that developers can get in trouble with