Circompanion-Circom Assistance Tool

Example

Explaining the use of 'signal' keywords or the structure of a Merkle tree proof in Circom.

Scenario

A developer is creating a ZKP for a decentralized application (dApp) to verify user credentials without revealing them. Circompanion assists by explaining how to declare signals for inputs and outputs, and how to structure computations within the circuit.

Example

Suggestions on reducing the number of constraints in a circuit for a more efficient proof generation.

Scenario

In optimizing a voting system's privacy circuit, Circompanion advises on restructuring the circuit to minimize computational requirements, thereby reducing the gas costs associated with deploying the proof on a blockchain.

Example

Identifying and resolving errors in circuit compilation or proof generation.

Scenario

When a user encounters an error during the compilation of their circuit, Circompanion provides detailed explanations on common compilation errors and how to fix them, ensuring the circuit compiles successfully.

Example

Clarifying the elliptic curve cryptography used in ZKPs.

Scenario

For a researcher exploring advanced ZKP schemes, Circompanion breaks down complex mathematical concepts like elliptic curve pairings and their application in ZKPs, enhancing the researcher's understanding and application of these concepts in circuit design.