BioSNARKS - recursive zero knowledge proofs for biotech

Drug and biotech development is an expensive and slow process. A single therapy might take up to 10 years to develop and anywhere between $300M-2.2B.

The culprit is poor reproducibility in basic research and siloing of data and results.

BioSNARKS open up new possibilities for accelerated and more democratized drug and biotech development, by allowing participants to interact with validated data, IP, protocols, targets without revealing sensitive information.

On the long run, we envision as a stack, which enables a privacy-preserving biodata and drug marketplace for lead generation and optimization even in a federated setting.

Use cases

Fingerprint Security Outline

Multi-party funded research. Same protocol, different biological interests

Fingerprint Security Outline

Negative and neutral data -> data de-siloing

Digital Blockchain Structure Circuit Board

Use cases for 1-2, to provide ZK-NFTs or ZK-IP-NFTs (asset exchange)

Fingerprint Security Outline

Proof of optimization, binding - ZK machine learning

Fingerprint Security Outline

Anonymized biobank and patient data

Recursive proofs using the Kimchi Proof System by MINA

Thin Geometric Lines
Thin Geometric Lines

Mina is the world’s lightest blockchain, powered by participants. Rather than apply brute computing force, Mina uses advanced cryptography and recursive zk-SNARKs to design an entire blockchain that is about 22kb, the size of a couple of tweets. It is the first layer-1 to enable efficient implementation and easy programmability of zero knowledge smart contracts (zkApps), such as BioSNARKs.

We envision an ecosystem that provides building blocks to both open source and private entity pipelines that would like to exchange immutable proofs of solutions, including in federated computing settings.


Round Circle Dots
Round Circle Dots

2024 Q1


PoC molecular docking zk app

Round Circle Dots

2024 Q2

PoC iterations, pharma outreach

Round Circle Dots

2024 Q4

EU consortia for federated zk learning

Round Circle Dots

2025 Q1

DAO for zk biotech tools

zk-stack for 3 use cases

Round Circle Dots

2025 Q2

Hardware demo