ZKP and FHE let you verify whatever you like. The former leaks data while the latter doesn't.
66 karma · joined September 10, 2016
Please check it out if you are interested.
The Children's Machine, Rethinking School In The Age of Computers - (uprooted my mind completely about kids)
Mindstorms: Children, Computers, And Powerful Ideas -
Turtles, Termites, and Traffic Jams: Explorations in Massively Parallel Microworlds - (helped me to start thinking about phenoms in a decentralized way, a delightful perspective!)