We are announcing the Deep Blockchain Fundamentals Workshop, an event focused on blockchain technology and particularly on zero-knowledge proofs, organized jointly by the Institute for Logic and Data Science (ILDS), MultiversX and Pi Squared (π²), to be held on 11 May 2024. It is the second blockchain-oriented workshop with involvement from ILDS, following the RV/ILDS Blockchain Workshop held in March 2023.
Pi Squared (π²) uses zero-knowledge (ZK) technology to provide verifiable-computing to all languages and virtual machines (VMs) alike, without any translation to a common language, VM, or instruction set architecture (ISA). Pi Squared is building a Universal Settlement Layer (USL) to make blockchain/language/application interoperability seamless and completely eliminate the need for traditional yet notoriously buggy language implementations such as compilers, transpilers, or interpreters. Pi Squared’s USL is built upon recent advancements in ZK, formal semantics, and logic reasoning techniques. Their team consists of researchers and founders of successful projects in formal methods, blockchain tech, and AI/ML. If you are passionate about these topics, please contact them.
MultiversX is a distributed transactional computation protocol that relies on a sharded state architecture and a secure Proof of Stake consensus mechanism. While most other blockchain networks require custom hardware and high energy consumption, MultiversX runs on average computers. By employing sharding, a method of parallelizing data & transactions processing, MultiversX’s performance scales up with the number of computers joining the network, reaching more than 100000 transactions per second while growing increasingly decentralized. EGLD is used for all core network functionalities, such as staking, protocol governance, transaction fees, smart contract royalties, and validator rewards, as well as for the deployment of smart contracts, protocols and decentralized applications on the network.
Organizing Committee: Chris Hazelton, Laurențiu Leuștean, Patrick MacKay, Grigore Roșu, Andrei Sipoș, Traian Florin Șerbănuță
Tentative speakers:
- Mihai Calancea (Software Engineer at Pi Squared) – TBA
- Adrian Dobrita (Co-founder & Head of Engineering at MultiversX) – Parallel processing on MultiversX
- Mario ETH (Security Researcher) – TBA
- Andrei Pitiș (Founder and CEO of genezio) – TBA
- Grigore Roșu (CEO of Pi Squared and Runtime Verification; Professor at UIUC) – Proofs of proofs for universal verificable computing
- Robert Sasu (Core Developer & Lead Engineer on VM & SC Development at MultiversX) – MultiversX SpaceVM and Sovereign Chains
- more to come…
The event will be held physically (and broadcast online, details to come). Participation is free, but we have a limited number of places available, so please register here.
The event will be located at the Institute for Logic and Data Science (Popa Tatu 18):