Luke Pearson

According to our database, Luke Pearson authored at least 5 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits.

Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Luke Pearson, Yanju Chen, Yu Feng

Proc. ACM Program. Lang., 2025

2024

Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction.

Yanju Chen, Juson Xia, Bo Wen, Kyle Charbonnet, Hongbo Wen, Hanzhi Liu, Luke Pearson, Yu Feng

IACR Cryptol. ePrint Arch., 2024

Certifying Zero-Knowledge Circuits with Refinement Types.

Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2022

PlonKup: Reconciling PlonK with plookup.

Luke Pearson, Joshua Brian Fitzgerald, Héctor Masip, Marta Bellés-Muñoz, Jose Luis Muñoz-Tapia

IACR Cryptol. ePrint Arch., 2022

2015

RoboCup SPL 2015 Champion Team Paper.

Brad Hall, Sean Harris, Bernhard Hengst, Roger Liu, Kenneth Ng, Maurice Pagnucco, Luke Pearson, Claude Sammut, Peter Schmidt

Proceedings of the RoboCup 2015: Robot World Cup XIX [papers from the 19th Annual RoboCup International Symposium, 2015