Zokrates / ZoKrates

A toolbox for zkSNARKs on Ethereum
https://zokrates.github.io
GNU Lesser General Public License v3.0
1.81k stars 361 forks source link

Better tools to create AST internally when writing tests #1229

Open Schaeff opened 1 year ago

Schaeff commented 1 year ago

Abstract

Writing internal tests is very verbose because of how precise the AST is. Introduce more succinct ways to build AST internally.

Motivation

Tests should be easier to write.

Specification

tbd

Backwards Compatibility

NA