Halo: Recursive Proof Composition without a Trusted Setup.

Sean Bowe Jack Grigg Daira Hopwood

Published in: IACR Cryptol. ePrint Arch. (2019)

Keyphrases

human visual system
edge preserving
theorem prover
real world
genetic algorithm
decision trees
expert systems
distributed environment
theorem proving
automated theorem proving
network connection
machine learning
web service composition
recursive queries
linear logic
proof search