GenerateCropProof returns the proof of crop transformation.

New returns a new cobra command that handles maya cli commands and subcommands.

VerifyProofByBackend verifies the given proof by provided proof system backend.

CropCircuit represents the arithmetic circuit to prove crop transformations.

FlipHorizontalCircuit represents the arithmetic circuit to prove flip horizontal transformations.

FlipVerticalCircuit represents the arithmetic circuit to prove FlipVertical transformations.

Rotate180Circuit represents the arithmetic circuit to prove rotate180 transformations.

Rotate270Circuit represents the arithmetic circuit to prove rotate270 transformations.

Rotate90Circuit represents the arithmetic circuit to prove rotate90 transformations.