Verilay: A Verifiable Proof of Stake Chain Relay.

Martin Westerkamp Maximilian Diez

Published in: ICBC (2022)

Keyphrases

sufficient conditions
theorem proving
geometry theorem proving
artificial intelligence
image processing
web services
theorem prover
base station
automated theorem proving
proof search
database
computer vision
learning environment
end to end
multi hop
linear logic