Studying synapses in live human brains is crucial for understanding many psychiatric disorders. Now, using positron emission tomography of the brain of patients with psychiatric disorders, researchers from Japan have developed and used a novel technology to visualize the distribution of AMPA receptors, one of the most important molecules in synaptic transmission. Their efforts could lead to more accurate diagnosis and targeted treatments for diseases like schizophrenia, bipolar disorder, and autism spectrum disorder.

Hydrogen, a promising fuel, has extensive applications in many sectors. However, its safe and widespread use necessitates reliable sensing methods. While tunable diode laser absorption spectroscopy (TDLAS) has proved to be an effective gas sensing method, detecting hydrogen using TDLAS is difficult due to its weak light absorption property in the infrared region. Addressing this issue, researchers developed an innovative calibration-free technique that significantly enhances the accuracy and detection limits for sensing hydrogen using TDLAS.

In this paper, we consider the scenario where the prover of zk-SNARK delegates its proving power to other parties.