I seem to notice more frequent references to ZeroSync's work lately:
Ben-Sasson, however, believes if Nakamoto had continued to be active, he would have likely pushed to bring ZK-proofs to Bitcoin.
“While they have recently found their way into Bitcoin through ZeroSync, I believe Satoshi would have been inclined to make the necessary adjustments to integrate them further,” he says.