feat: config verification circuit [skip-line-limit]#1306

Merged

0xjei merged 22 commits into

mainfrom

config-verification-circuit

Feb 16, 2026

Commits on Feb 16, 2026

secure config verification circuit

zahrajavar
authored and
0xjei
committed
removed the unnecessarily bound checks, fixed the comments on sk_i

zahrajavar
authored and
0xjei
committed
uset data encryption config verification

zahrajavar
authored and
0xjei
committed
add licenses
0xjei
committed
update for DKG
0xjei
committed
adjust scripts for config validation circuit
0xjei
committed
move one folder below
0xjei
committed
add config circuit to lint script
0xjei
committed
secure config verification circuit

zahrajavar
authored and
0xjei
committed
removed the unnecessarily bound checks, fixed the comments on sk_i

zahrajavar
authored and
0xjei
committed
uset data encryption config verification

zahrajavar
authored and
0xjei
committed
add licenses
0xjei
committed
update for DKG
0xjei
committed
adjust scripts for config validation circuit
0xjei
committed
move one folder below
0xjei
committed
remove duplicate
0xjei
committed
adjust q mod t
0xjei
committed
fix q_mod_t
0xjei
committed
remove stale circuit and comment
0xjei
committed
remove q_mod_t from greco
0xjei
committed
update verifier for crisp
0xjei
committed
add utility and rollback to q_mod_t in centered form
0xjei
committed