Select a category to explore research frontiers
Loading categories...
Investigation of cryptographic protocols enabling untrusted distributed systems to prove correct computation execution through succinct proofs without full result replication or reruns.