Crate taceo_circom_types 

Types and utilities for reading Circom-generated files into arkworks representations.

This crate provides deserialization support for Circom’s binary and JSON formats, including proofs, verification keys, witnesses, R1CS constraint systems, and zkeys for both Groth16 and PLONK proof systems.

Re-exports

pub use ark_bn254;

Modules

groth16

This module defines types related to Groth16 used in Circom and utilities to read these types from files.

traits

Traits for converting Circom file formats to arkworks types.

Structs

R1CS

Struct representing a R1CS file produced by Circom that implements R1CS::from_reader for parsing the R1CS file format used by Circom.

Witness

Represents a witness in the format defined by Circom. Implements Witness::from_reader to deserialize a witness from a reader.

Enums

CheckElement

Indicates whether we should check if deserialized are valid points on the curves. No indicates to skip those checks, which is by orders of magnitude faster, but could potentially result in undefined behaviour. Use only with care.

R1CSParserError

Error type describing errors during parsing R1CS files

WitnessParserError

Error type describing errors during parsing witness files

ZkeyParserError

Error type describing errors during parsing zkey files