Browsing FGV EMAp - Dissertações, Mestrado em Modelagem Matemática by Advisor "Coelho, Flávio"
Now showing items 1-1 of 1
-
A Simplified version of Bitcoin, implemented in Agda
2020-03-12Uma criptomoeda é uma moeda digital que funciona de maneira descentralizada, sem uma autoridade central e seus estados são mantidos por meio de consenso distribuído. Ela tem um papel importante na sociedade, porque é um ...


