Verilay: A Verifiable Proof of Stake Chain Relay.

Martin Westerkamp Maximilian Diez

Published in: CoRR (2022)

Keyphrases

theorem prover
neural network
multiscale
databases
artificial intelligence
video sequences
evolutionary algorithm
sufficient conditions
genetic algorithm
search engine
case study
secret sharing
proof planning