WIP: pod2 circuit in pex#31

Draft

ludns wants to merge 16 commits intomainfrom ludens/pod2-circuit

+1,122-776

Commits on Nov 9, 2024

Add target for 'contains' op proof

ax0
authored and
ludns
committed
Refactor op executor gadget

ax0
authored and
ludns
committed
Pad ops in Plonky gadget

ax0
authored and
ludns
committed
resolve conflict

ax0
authored and
ludns
committed
Add SchnorrPOD payload type-check

ax0
authored and
ludns
committed
Pad SchnorrPOD vector entries

ax0
authored and
ludns
committed
Fix chat logic

ax0
authored and
ludns
committed
clippy
ludns
committed
Add Plonky POD test

authored and
ludns
committed
plonky_pod: fix selectors padding

arnaucube
authored and
ludns
committed
Make error message more descriptive

ax0
authored and
ludns
committed
Add more op executor tests

ax0
authored and
ludns
committed
Basic POD1 introduction

ax0
authored and
ludns
committed
pex now makes plonky pods
ludns
committed
move prover_params outside execute_plonky_gadget so that it can be reused

arnaucube
authored and
ludns
committed
pex makes zkps now and its fast
ludns
committed