Skip to content

feat(Stir): prove out_of_dom_smpl_1 (STIR Lemma 4.5.1, out-of-domain sampling)#637

Open
aryaethn wants to merge 2 commits into
Verified-zkEVM:mainfrom
aryaethn:feat/stir-out-of-dom-smpl-1
Open

feat(Stir): prove out_of_dom_smpl_1 (STIR Lemma 4.5.1, out-of-domain sampling)#637
aryaethn wants to merge 2 commits into
Verified-zkEVM:mainfrom
aryaethn:feat/stir-out-of-dom-smpl-1

feat(Stir): prove out_of_dom_smpl_1 (STIR Lemma 4.5.1)

1968a12
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check Library File Imports
succeeded Jul 11, 2026 in 6s