Skip to content

Commit

Permalink
fixing a simple mistake in the doc (#4)
Browse files Browse the repository at this point in the history
Signed-off-by: Chengxuan Xing <chengxuan.xing@kaleido.io>
  • Loading branch information
Chengxuan authored Oct 18, 2024
1 parent a167287 commit de75b66
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/usage/frontend-circom.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Experimental frontend using [arkworks/circom-compat](https://github.com/arkworks
We can define the circuit to be folded in Circom. The only interface that we need to fit in is:

```c
template FCircuit(ivc_state_len, aux_inputs_len) {
template Example(ivc_state_len, aux_inputs_len) {
signal input ivc_input[ivc_state_len]; // IVC state
signal input external_inputs[aux_inputs_len]; // external inputs, not part of the folding state

Expand All @@ -27,7 +27,7 @@ In the following image, the `ivc_input`=$z_i$, the `external_inputs`=$w_i$, and
<br>
So for example, the following circuit proves (at each folding step) knowledge of $x$ such that $y==x^3 + x + e_0 + e_1$ for a known $y$ ($e_i$ are the `external_inputs[i]`):
So for example, the following circuit proves (at each folding step) knowledge of $x$ such that $y==x^3 + e_0x + e_1$ for a known $y$ ($e_i$ are the `external_inputs[i]`):
```c
pragma circom 2.0.3;
Expand Down

0 comments on commit de75b66

Please sign in to comment.