---
# System prepended metadata

title: Vietnam Vision statment

---

# 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 

