For 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
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.
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.