Skip to content

v1.2.0, 2020-09, Rust refactor
Compare
Choose a tag to compare
@naure naure released this 04 Oct 16:55
· 53 commits to master since this release
v1.2.0
7e1268a
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

FlatBuffers schema (binary encoding remains unchanged):

  • Renamed Circuit to CircuitHeader.
  • Renamed connections to instance_variables.

CLI:

  • to-json - Convert messages into one-line compact JSON.
  • to-yaml - Convert messages into readable YAML.
  • validate - Validate the format of messages, from the point of view of the verifier.
  • simulate - Validate the format of messages and verify that the statement is true, from the point of view of the prover.

Rust:

  • (breaking) Moved "owned" structures to a structs module and removed the "Owned" suffix.
  • (breaking) Organized code into producers and consumers modules.
  • (breaking) Renamed reading::Messages into consumers::reader::Reader.
  • Renamed occurrences of circuit or main to header.
  • Simplified StatementBuilder. Renamed occurrences of "Store" to "Sink".
  • Moved helpers for external gadget calls into a gadget_caller module.
  • Using the StructOpt library for the CLI.
Assets 2
Loading