2 ms·
Why are you programming directly in R1CS, when there are nice DSLs, nowadays?
by AlexCoventry 7y ago
Why are you programming directly in R1CS, when there are nice DSLs, nowadays?
- dlubarov 7y agoFor the base protocol SNARKs, we're planning to do the programming in Rust, building on top of this little library we wrote: https://crates.io/crates/r1cs https://crates.io/crates/r1cs We looked at a few DSLs but didn't find one that seemed to fit our needs well. I mostly focused on xjsnark, since it has nice features we wanted like permutation networks (to verify sorts/shuffles), but it seems far from production readiness. We'd like to support DSLs like Zokrates as an option for writing dapps on top of the base protocol, though. I couldn't find your email, but please drop me a note if you have suggestions or if the project interests you.