add experimental api for SNARKs