search

Ethsnarks / ethsnarks-il

Intermediate Language for zkSNARK circuits
GNU Lesser General Public License v3.0
7 stars 3 forks source link

Support for zkSTARK proofs #4

Open HarryR opened 5 years ago

HarryR commented 5 years ago

Using example projects for zkSTARKs, e.g.: https://github.com/osuketh/stark-rust

Is it possible for a common intermediate language, which ultimately ties back to R1CS, to be compatible with:

?