Splice type surface singularities and their local tropicalizations
Green hyperbolic complexes and their quantization
zk-SNARKs: theory and application to dispute resolution
