Lucas Shigeru Stinchcombe

Publications and Preprints

Polynomial-Time Classical Simulation of Hidden Shift Circuits via Confluent Rewriting of Symbolic Sums

Authors: Matthew Amy, Lucas Shigeru Stinchcombe
Overview: Demonstrates that a formal rewrite system for boolean path sums is confluent in general. Applying the rewrite system results to a widely used benchmark algorithm resolves the conjecture of its polynomial-time classical simulation.

Practical Relativistic Zero-Knowledge for NP

Conference: ITC 2020
Authors: Claude Crépeau, Arnaud Y. Massenet, Louis Salvail, Lucas Shigeru Stinchcombe, Nan Yang
Overview: Exhibits two novel zero-knowledge protocols for 3-Colorability that use two local provers and three entangled provers, requiring only one edge, 2 bits, and 2 trits of communication per prover.

Contact

Email:

Curriculum Vitae