>>30206972
AGI is legit as fuck
SingularityNET's Founder on Cardano:
>https://youtu.be/f8JVh1S774k?t=320
>the first infrastructure with the potential to be capable of supporting large-scale decentralized AI systems
>Ethereum launched something, but it doesn't have the sophistication or scalability of design to support [the world computer] vision
>Cardano with the Plutus smart contracts being released is a much more credible infrastructure for a world computer...
>a secure privacy preserving democratically governed world computer
-------------------
>https://youtu.be/f8JVh1S774k?t=2856
>if you have a private chain
>e.g. if a bank wants to so some blockchain stuff internally, but they also want to interoperate with a public network, then you can have elegant isomorphisims between a Private Cardano network and a Public Cardano Network
>if you're trying to do that with Ethereum or EOS or something, the mapping of private to public is more awkward and requires more work
>Haskell language has the ability to set up mathematical mappings between smart contracts in an automatic way
>A Cardano Haskell program is its own mathematical formalization
vs.
>An Ethereum Solidity program is not (in a useful sense) its own mathematical description.
>A Haskell program is closer to being its own mathematical description
>if you need to map between a contract in a private subchain, and a smart contract on a public subchain - those contracts are very close to knowing how to describe themselves to each other, so you can just map between the two in a formal way
>it's quite elegant
>you can't build those isomorphisms (structure-preserving mappings) between two Solidity contracts in any practical way
>isomorphisms = a mathematical term for a structure preserving mapping
>you can map one contract into another in a way that preserves all the key properties
>In Cardano's Plutus: you can set up these mappings automatically between smart contracts
>In Solidity or WebAssembly: you cannot do this