arnaucube/sonobe-docs
1
0
Fork 0
mirror of https://github.com/arnaucube/sonobe-docs.git synced 2026-02-10 05:06:45 +01:00
Code Issues Packages Projects Releases Wiki Activity

fixing a simple mistake in the doc (#4)

Browse Source 
Signed-off-by: Chengxuan Xing <chengxuan.xing@kaleido.io>
This commit is contained in:
Chengxuan Xing
2024-10-18 11:14:17 +01:00
committed by GitHub
parent a1672876d6
commit de75b66f3d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/usage/frontend-circom.md
View File

@@ -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: We can define the circuit to be folded in Circom. The only interface that we need to fit in is:
```c ```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 ivc_input[ivc_state_len]; // IVC state
signal input external_inputs[aux_inputs_len]; // external inputs, not part of the folding state signal input external_inputs[aux_inputs_len]; // external inputs, not part of the folding state
@@ -27,7 +27,7 @@ In the following image, the `ivc_input`=$z_i$, the `external_inputs`=$w_i$, and
<br> <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 ```c
pragma circom 2.0.3; pragma circom 2.0.3;