Proof-of-Stake in Algorand.

Published in: Distributed Ledger Technol. Res. Pract. (2022)

Keyphrases

theorem proving
object recognition
theorem prover
data sets
databases
genetic algorithm
linear logic
machine learning
image sequences
computer science
mobile robot
proof planning
geometry theorem proving