Sony Computer Science Laboratories

Proofs of Nothing: Zero-Witness Forgeries and the Side Conditions That Prevent Them

A lattice proof verifier is sound only if it binds the proof to a fixed statement the prover cannot choose. We report a post-quantum consensus verifier that does not, and accepts a proof of nothing. In a confidential-transaction opcode, an all-zero proof whose only nonzero field...

Proofs of Nothing: Zero-Witness Forgeries and the Side Conditions That Prevent Them

A lattice proof verifier is sound only if it binds the proof to a fixed statement the prover cannot choose. We report a post-quantum consensus verifier that does not, and accepts a proof of nothing. In a confidential-transaction opcode, an all-zero proof whose only nonzero field...

Expectation and acoustic neural network representations enhance music identification from brain activity

Abstract During music listening, cortical activity encodes both acoustic and expectation-related information. Prior work has shown that ANN representations resemble cortical representations and can serve as supervisory signals for EEG recognition. Here we show that distinguishing...