Steve Thakur
Steve Thakur works on cryptographic proof research. His work includes DART, a distributed argument system designed to support common elliptic-curve applications while reducing the cost of non-native arithmetic and distributing proof computation.