I am hoping to write some privacy preserving bioinformatics algorithms in my free time. Lots of arrays and strings. What is the best language for me to get started?

metabolomics researcher, zero knowledge novice, freedom+equity compatibilist, #GenomesDAO he/him

If you need to run client side like in an app, id check out Noir. Fairly easy to get going.

For server side use consider using a zkVM.

What are the memory requirements?

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

/opacity

and

/eulerlagrange

I posted a hackmd yesterday on /zk on a way to speed up clientside zk. Works really well, especially if you don’t need the privacy preserving part. No tools for it.

What you’ll need to do is use recursive ZKPs. Noir has examples of this, and this will keep the memory requirements down.

That said, genomics scales quite quickly. 😅 I just don’t know where the zk tech is at given its fast growth.

The proof of concept will just work on a pair of protein sequences which average in length of around 400 amino acids. So it should be something on the order of 1.92 MB for the simplest algorithm.