triton-vm 0.43.0

A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system to allow proving correct execution of arbitrary programs in zero-knowledge.
Documentation 
1
2
3
4
5
6

{
  "git": {
    "sha1": "d078bca9d25a8b7327b9f42334a5904e36e54e92"
  },
  "path_in_vcs": "triton-vm"
}