/biz/ - Business & Finance

>>24336051
>Coinbase
>Goguen
>Hydra
>Governance
>Multi Assets
>Native Tokens

>>23551558
That's nothing compared to SingularityNET. AGI will turbo boost Cardano so fucking hard.
>Cardano has Marlowe, a Haskell based DSL (Domain Specific Language)
>Cardano makes extensive use of formal verification: https://www.youtube.com/watch?v=-CTNS2D-kbY
>Ben Goertzel has a major hard on for Haskell and formal verification
>Formally verifying a turing complete language is very time consuming
>Formally verifying a DLS is A LOT easier
>Ben and friends are making a new AI superior to GPT-3
>mfw their AI will write you smart contract for you AND formally verify it
>mfw you just tell the AI what you want, and it makes it happen

>>20089645
Built with peer reviewd high assurance code, formal methods and first principles.

Extended UTXO model, instead of account based model. It's much simpler and more secure.

Smart contract language in Plutus (Haskell), functional programming language.
https://www.youtube.com/watch?v=jQddA20MZXs
There was a great video by him yesterday at the Cardano summit on this.

Minimum 1 ADA to stake.

>TPS
Ouroboros Hydra is in theory infinitely scalable. With 1000 staking pools, it can give Cardano one million TPS. The number of pools is not set in stone and can be changed.

>>19521531
After Shelley is Coinbase (very likely). Decentralization is the last criteria for it to be listed.
Then McCann marketing.
Then Goguen smart contracts, with all the launch dapps and projects.
Then the rest of the roadmap

>>10747072