Adding a table in the README

microbecode / zk-languages

Introduction to various ZK languages

MIT License

49 stars 4 forks source link

Adding a table in the README #2

Open StefanosChaliasos opened 3 months ago

StefanosChaliasos commented 3 months ago

Having a table with all the languages and some properties for them in the README would be useful. Example properties:

DSL or eDSL (+ host language)
Private computation
Proof System (+ trusted setup requirement)
Smart contract verifier support (+ which VM)
Standard Library (ie what circuits are provided)
Arithmetizations supported
Supported Backends
Main purpose(s)
Programming model

microbecode commented 3 months ago

Hmm, I think this is a brilliant idea. Thanks! A lot of different, possible properties. Happy to receive a PR for this, if you're up to it! Otherwise I'll try to do it at some point.

StefanosChaliasos commented 3 months ago

I might try preparing something but can't promise anything xD

microbecode commented 3 months ago

Of course, no pressure. If it's easier, you can just start with a language or two, and I can add stuff, maybe in the same PR.