Multiversᕽ@MultiversX
PI2 Network developed by @rv_inc is one of the most ambitious initiatives in the cryptographic world, combining proof generators with ZK technology.
First to be deployed on #MultiversX, PI2 stands as a universal truth framework encompassing everything that can be expressed as a mathematical statement that admits a proof in a mathematical theory.
More specifically, the execution of a program, a particular work that has been done or an action that has been performed, the formal correctness or the security of some code. A few more practical examples include:
1 - Formal verification claims, correctness claims, security audits, as well as other program analysis claims, become checkable certificates (instead of PDFs). So users don't have to trust the developers of the smart contracts, or the auditors of those smart contracts, or anyone else! They can simply check the claim certificate.
2 - Critical procedures or devices in hospitals, aviation, automotive, robotics, etc, yield checkable certificates for their correct application. This will increase our confidence in complex systems, in complex processes, in machines, even in AI, because we don’t have to trust them, we check their claim certificates.
3 - Verifiable Computing would now work for all programming languages. Basically, developers can execute their code securely in untrusted environments, say in the cloud, get back a proof certificate, verify it and acknowledge that their computation was correct.
4 - Zero Knowledge capability available for all languages, correct by construction.
5 - Deepfakes and fake news filtering, as well as storing scientific knowledge on-chain to be made immediately available to everyone and any application.
For those not familiar with the exceptional @rv_inc team, they had and continue to have an important role in making MultiversX one of the safest chains out there with contributions to the network, VM, ESDT token standard and major protocols.
They are also known for being the first to formalize the ERC20 token standard; the first to formally verify and audit Uniswap; the first to formalize and verify Ethereum's proof of stake protocol and the Ethereum 2.0 deposit contract.
Watch @RosuGrigore's presentation at xDay 2023, where he unveiled PI2 Network:
youtu.be/5ZFeYUV8Is4
