yarrow

Differentiable IR for ZKML

a string diagram picturing an optic

scalable syntax

current version: 0.0.3.1

yarrow's core library is a datastructure for graph-like structures called "string diagrams".
Use yarrow to represent large networks of operations with multiple ordered inputs and outputs (like circuits!)

[paper] [code] [docs]

differentiable circuit IR

current version: 0.0.1.0

Phase II of yarrow is a differentiable circuit IR for Zero-Knowledge ML.
yarrow-ml features zero-knowledge training of circuits without the need for slow, floating-point calculations.

[paper] [code] [docs]
a string diagram picturing a neural network 'bilinear' layer

roadmap

what when
paper [0] done
diagrams library [1] version 0.0.3.1
diagrams docs [2] done
circuit IR library [3] version 0.0.0.1
circuit IR docs [4] done

team

portrait of Paul Wilson

paul wilson

statusfailed.com
portrait of Fabio Zanasi

fabio zanasi

zanasi.com