Towards a low carbon proof-of-work blockchain.

Agron Gemajli Shivam Patel Phillip G. Bradford

Published in: CoRR (2024)

Keyphrases

low carbon
theorem prover
economic development
theorem proving
sustainable development
linear logic
genetic algorithm
response time