Login / Signup
Marek Sefranek
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Data Flow
Automated Theorem Provers
Formal Proofs
Real World
Top Venues
IACR Cryptol. ePrint Arch.
</>
Publications
</>
Marek Sefranek
How (Not) to Simulate PLONK.
IACR Cryptol. ePrint Arch.
2024 (2024)
Liam Eagen
,
Ariel Gabizon
,
Marek Sefranek
,
Patrick Towa
,
Zachary J. Williamson
Stackproofs: Private proofs of stack and contract execution using Protogalaxy.
IACR Cryptol. ePrint Arch.
2024 (2024)