github/zk-regex
1
1
Fork 0
mirror of https://github.com/zkemail/zk-regex.git synced 2026-01-09 13:48:00 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add ivc circuit example.

Browse Source
This commit is contained in:
SoraSuegami
2024-06-08 19:50:35 +09:00
parent 491a2dcb7f
commit daa0325300
2 changed files with 1747 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1722
packages/circom/circuits/common/body_hash_regex_ivc.circom Normal file
View File

File diff suppressed because it is too large Load Diff

26
packages/circom/circuits/regex_helpers.circom
View File

@@ -2,7 +2,8 @@ pragma circom 2.0.3;
include "circomlib/circuits/comparators.circom";
include "circomlib/circuits/gates.circom";
include "circomlib/circuits/poseidon.circom";
include "circomlib/circuits/bitify.circom";
// template MultiOROld(n) {
// signal input in[n];
// signal output out;
@@ -71,4 +72,27 @@ template IsNotZeroAcc() {
signal is_zero <== IsZero()(in);
out <== acc + (1 - is_zero);
}
template GenRLCRands(n) {
signal input rand;
signal output rands[n+1];
rands[0] <== rand;
for (var i = 0; i < n; i++) {
rands[i+1] <== rands[i] * rand;
}
}
template RLC(n) {
signal input in[n];
signal input init_rlc;
signal input rands[n+1];
signal acc[n+1];
acc[0] <== init_rlc;
for (var i = 0; i < n; i++) {
acc[i+1] <== acc[i] + rands[i] * in[i];
}
signal output rlc <== acc[n];
}