microbecode
Adding a table in the README
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
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.
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.
Added now a table that lists:
- is standalone version supported
- are contracts supported
- is privacy supported
Many of the other stuff you listed vary greatly between languages and it'd be difficult to give a coherent/short answer.
This version is now a very rough overview of the main properties (from my perspective).