Skip to content

Actions: Verified-zkEVM/VCVio

Actions

PR Review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
review.yml
882 workflow runs
882 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: make require VCVio work without third_party submodules PR Review #887: Pull request #496 opened by dtumad
5m 35s dtumad/dep-build-fix
dtumad/dep-build-fix
5m 35s
Trying to add VCVio as dependency causes build errors in cc PR Review #886: Issue comment #495 (comment) created by MarcusVoelker
1s
1s
Design the VCVio × PolyFun integration PR Review #885: Pull request #494 opened by quangvdao
11m 54s design/polyfun-integration
design/polyfun-integration
11m 54s
Use PFunctor.mk directly for OracleSpec PR Review #884: Pull request #493 opened by quangvdao
11m 32s agent/remove-pfunctor-offamily
agent/remove-pfunctor-offamily
11m 32s
refactor(CryptoFoundations): share a generic PolyFun core across the forking lemmas PR Review #883: Pull request #492 opened by dtumad
32s dtumad/replay-fork-golf
dtumad/replay-fork-golf
32s
Consume generic PolyFun traversal predicates PR Review #882: Pull request #491 opened by quangvdao
4m 11s agent/pr490-polyfun-consumer
agent/pr490-polyfun-consumer
4m 11s
refactor(OracleComp): make OracleComp/OracleQuery reducible over PolyFun PR Review #881: Issue comment #490 (comment) created by dtumad
1s
1s
refactor(OracleComp): make OracleComp/OracleQuery reducible over PolyFun PR Review #880: Pull request #490 opened by dtumad
15m 22s dtumad/reducible-oraclecomp
dtumad/reducible-oraclecomp
15m 22s
feat(MerkleTree): add batch openings with completeness and uniqueness for inductive Merkle trees PR Review #879: Issue comment #473 (comment) created by quangvdao
8s
8s
docs: rebrand project as VCVio PR Review #878: Pull request #489 opened by quangvdao
10m 2s agent/rebrand-vcvio
agent/rebrand-vcvio
10m 2s
refactor(CryptoFoundations): derive replay forking from PolyFun contexts PR Review #877: Pull request #488 opened by dtumad
15m 31s refactor/polyfun-replay-fork
refactor/polyfun-replay-fork
15m 31s
prove(polytime): close nontriviality certificate PR Review #876: Issue comment #487 (comment) created by dtumad
1s
1s
SampleableType (α × β) instance carries unneeded [Fintype]/[Inhabited] constraints PR Review #875: Issue comment #454 (comment) created by dtumad
1s
1s
LatticeCrypto: discharging the challenge–secret norm-bound hypotheses — offering a proved no-wraparound multiplication bound PR Review #874: Issue comment #469 (comment) created by dtumad
1s
1s
LatticeCrypto: discharging the challenge–secret norm-bound hypotheses — offering a proved no-wraparound multiplication bound PR Review #873: Issue comment #469 (comment) created by jasonsoroko
11s
11s
prove(polytime): close nontriviality certificate PR Review #872: Pull request #487 opened by eliasjudin
Action required eliasjudin:eliasjudin/polytime-nontriviality
eliasjudin:eliasjudin/polytime-nontriviality
Action required
feat(MerkleTree): add batch openings with completeness and uniqueness for inductive Merkle trees PR Review #871: Issue comment #473 (comment) created by Abraxas1010
1s
1s
Falcon faithfulness & soundness remediation — concrete keygen, verify_sign_correct, verify bridge PR Review #870: Issue comment #471 (comment) created by alik-eth
2s
2s
Proof obligation for IND_CCA_Advantage_composeWithKDM_le in VCVio/CryptoFoundations/FujisakiOkamoto/UTransform.lean PR Review #869: Issue comment #190 (comment) created by alik-eth
1s
1s
Proof obligation for IND_CCA_bound in VCVio/CryptoFoundations/FujisakiOkamoto/Composed.lean PR Review #868: Issue comment #191 (comment) created by alik-eth
1s
1s
feat(UAKE): UAKE security notion PR Review #867: Issue comment #476 (comment) created by protoben
1s
1s
feat(LatticeCrypto): discrete Gaussian mass bounds (mode, sum, guessing probability) PR Review #866: Pull request #485 opened by alik-eth
1s alik-eth:dgauss-mass-bounds
alik-eth:dgauss-mass-bounds
1s
Proof obligation for ind_cca_security in LatticeCrypto/MLKEM/Security.lean PR Review #865: Issue comment #215 (comment) created by alik-eth
1s
1s
Proof obligation for kpke_ind_cpa_security in LatticeCrypto/MLKEM/Security.lean PR Review #864: Issue comment #214 (comment) created by alik-eth
1s
1s
Proof obligation for kpke_delta_correct in LatticeCrypto/MLKEM/Security.lean PR Review #863: Issue comment #213 (comment) created by alik-eth
8s
8s