Skip to content

Latest commit

 

History

History
546 lines (278 loc) · 10.6 KB

events.md

File metadata and controls

546 lines (278 loc) · 10.6 KB

Pi2 Events

ETH Denver 2024

Location: National Western Complex (Spork Castle & BUIDLHub), 4655 Humboldt Street, Denver, CO 80216, USA

Start Date: 2024-02-23

Activities

Universal Truth Framework

Type: talk

Abstract: Grigore Rosu, the Founder & CEO of Runtime Verification, explains the goal of Universal Truth Framework and the role it plays in Formal Verification.

Recordings:

Speakers:

  • Grigore Rosu (Founder & CEO)

Bucharest Hackathon 2024

Location: Odeon Theatre, Studio Hall

Start Date: 2024-04-13

Token 2049 Dubai

Location: Marina Bay Sands Singapore

Start Date: 2024-04-18

Hong Kong Bitcoin Day

Location: The St. Regis Hong Kong

Start Date: 2024-04-05

Consensus 2024

Location: Austin, Texas

Start Date: 2024-05-29

Activities

(ZK) Proof of (Math) Proof for Universal Verifiable Computing - Presentation

Type: talk

Speakers:

  • Grigore Rosu (Founder & CEO)

Ethererum Community Conference (EthCC 7)

Location: SQUARE Brussels Meeting Centre, Mont des Arts, 1000 Bruxelles, Belgium

Start Date: 2024-07-08

SETSS 2024

Location: Lecture Hall 0114, Building 25, Southwest University, Chongqing, China

Start Date: 2024-04-14

Activities

Matching Logic: A Unifying Foundation for Programming

Type: talk

Abstract: We present matching logic as a unifying foundation for programming, where programming languages and VMs are formally specified as matching logic theories; where various types of program properties are uniformly represented as matching logic claims; where formal correctness of program tools such as interpreters and formal verifiers is guaranteed by machine-checkable proof objects; and where an automated proof framework with best-effort proof strategies and heuristics is available. In the end of the talk, we highlight the promising future where traditional mathematical/logical proofs are combined with zero-knowledge proofs to achieve 100% assured trust, like never before.

Speakers:

  • Xiaohong Chen (CTO)

Pi Squared and ILDS Blockchain Workshop

Location: Strada Popa Tatu 18, București 010805, Romania

Start Date: 2024-05-11

Activities

A brief foray into the challenges of writing efficient arithmetic circuits

Type: workshop

Abstract: A self-contained introduction to designing efficient Rank-1-Constraint-Systems via solutions to some essential subroutines. Includes motivation for working at this level in the Pi Squared checker.

ZK Proof of Math Proof for Universal Verifiable Computing

Type: talk

Abstract: Grigore Rosu, the Founder & CEO of Pi Squared, explains Pi squared universal verifiable computing framework based on generation of ZK proofs for math proofs generated for concrete execution of arbitrary programs.

Speakers:

  • Grigore Rosu (Founder & CEO)

Proof Generation

Type: talk

Abstract: We cover differences between ZK proofs and Math proofs, and what we understand by a Math Proof of a program execution. Then we briefly discuss our proof generating algorithm that can produce proofs for concrete executions. At the end, we show a short demo of what our generator is capable of.

Devcon 7 - Pi Squared Presentations and Panels

Location: 60 Queen Sirikit National Convention Center, Ratchadaphisek Road, Khlong Toei Sub-district, Khlong Toei District, Bangkok, Thailand

Start Date: 2024-11-12

Activities

ZK Accelerate - Panel

Type: panel

Presentation Title: Clientside ZK

Start Date: 2024-11-11

Speakers:

  • Xiaohong Chen (CTO)

Multichain Day - Panel

Type: panel

Presentation Title: Building Bridges and Ecosystems: Infra for Cross-Chain Expansion

Start Date: 2024-11-12

Speakers:

  • Yan Liu (Software Engineer)

Restaking & Infra Day - Presentation

Type: talk

Presentation Title: Can Restaking bring all programming languages to Web3?

Start Date: 2024-11-12

Recordings:

Speakers:

  • Grigore Rosu (Founder & CEO)

Restaking & Infra Day - Panel

Type: talk

Presentation Title: Restaking Infrastructure: Needs, Challenges, and Vision

Start Date: 2024-11-12

Recordings:

Speakers:

  • Grigore Rosu (Founder & CEO)

L2con - Panel

Type: panel

Presentation Title: Rolling Up the Future: Interoperability and Cross-Chain Functionality

Start Date: 2024-11-13

Recordings:

Speakers:

  • Grigore Rosu (Founder & CEO)

L2con - Presentation

Type: talk

Presentation Title: How to enable any developer to build on your chain

Start Date: 2024-11-13

Recordings:

Speakers:

  • Grigore Rosu (Founder & CEO)

AltLayer Rollup Day - Panel

Type: panel

Presentation Title: FHE/TEE/ZK Panel

Start Date: 2024-11-13

Speakers:

  • Xiaohong Chen (CTO)

De.Fi World - Presentation

Type: talk

Presentation Title: How Bring Your Own Language (BYOL) will add Millions of Developers to Web3

Start Date: 2024-11-11

Speakers:

  • Grigore Rosu (Founder & CEO)

AVS Day Bangkok - Presentation

Type: talk

Presentation Title: How Bring Your Own Language (BYOL) Makes Any Developer a Web3 Innovator

Start Date: 2024-11-14

Speakers:

  • Grigore Rosu (Founder & CEO)

Permissionless III

Location: Salt Lake City, UT

Start Date: 2024-10-09

ETH Belgrade

Location: mts Dvorana, Dečanska 14, Beograd 11000, Serbia

Start Date: 2024-05-31

Activities

Universal, scalable and trustless verifiable computing

Type: talk

Abstract: We are building a unique approach to verifiable computing that we call Proof of Proof. Pi Squared uses zero-knowledge (ZK) technology in a correct-by-construction and fundamentally unique way, which allows a universal and disarmingly small ZK circuit to provide verifiable-computing correctness guarantees 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) powered by our Proof of Proof technology 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.

Start Date: 2024-06-05

Speakers:

  • Ilja Zakharov (Engineering Manager)

ABCDE EthCC Infra Day

Location: Silversquare North, Brussels, Belgium

Start Date: 2024-07-08

Activities

(ZK) Proofs of (Math) Proofs

Type: talk

Speakers:

  • Grigore Rosu (Founder & CEO)

Restaking & Infra Day

Location: TownHall Europe, Brussels, Belgium

Start Date: 2024-07-08

Activities

The Universal Settlement Layer

Type: talk

Recordings:

Speakers:

  • Grigore Rosu (Founder & CEO)

The Future of Liquid Staking and Restaking - Panel

Type: panel

Speakers:

  • Grigore Rosu (Founder & CEO)

L2con

Location: Hotel Le Plaza, Brussels, Belgium

Start Date: 2024-07-09

Activities

Rollups and Interoperability Improvements - Panel

Type: panel

Speakers:

  • Grigore Rosu (Founder & CEO)

Ethereum Foundation Formal Verification Lunch

Location: Brussels, Belgium

Start Date: 2024-07-10

Activities

Making the entire ecosystem of zkEVMs more secure

Type: talk

Speakers:

  • Grigore Rosu (Founder & CEO)

House of ZK

Location: Warwick Hotel, Brussels, Belgium

Start Date: 2024-07-11

Activities

Proof Markets: Centralized vs Decentralized - Panel

Type: panel

Speakers:

  • Yan Liu (Software Engineer)

EDCON 2024

Location: The Yoyogi National Gymnasium, Tokyo, Japan

Start Date: 2024-07-24

Devcon 7 - Pi Squared Workshops

Location: 60 Queen Sirikit National Convention Center, Ratchadaphisek Road, Khlong Toei Sub-district, Khlong Toei District, Bangkok, Thailand

Start Date: 2024-11-12

Activities

Multichain Day: Pi Squared USL + Wormhole Workshop

Type: workshop

Presentation Title: Universal Settlement Layer for Wormhole

Start Date: 2024-11-12

Speakers:

  • Yi Zhang (Chief Architect)
  • Chenglong Ma (Blockchain Developer)
  • Xiaohong Chen (CTO)

Hack Seasons: Pi Squared Universal Language Machine Workshop

Type: workshop

Presentation Title: Universal Language Machine: How Pi Squared Will Bring Millions of Developers to Web3

Start Date: 2024-11-14

Speakers:

  • Xiaohong Chen (CTO)
  • Ovidiu Damian (Blockchain Developer)
  • Chenglong Ma (Blockchain Developer)

AntChain OpenLabs

Location: Online

Start Date: 2024-09-24

Activities

OpenLabs workshop on Technologies & Applications of ZK

Type: workshop

Recordings:

Speakers:

  • Xiaohong Chen (CTO)

Scale Summit 2024

Location: Denver, Colorado

Start Date: 2024-02-27

Activities

Proof of Proof for Universal Verifiable Computing - Presentation

Type: talk

Recordings:

Speakers:

  • Grigore Rosu (Founder & CEO)

AltLayer Rollup Frontier Day

Location: Beyoğlu, İstanbul

Start Date: 2023-11-17

Activities

Pi Squared Universal Proof Systems

Type: talk

Recordings:

Speakers:

  • Grigore Rosu (Founder & CEO)

ETH Denver 2025

Location: Denver, Colorado

Start Date: 2025-02-23

Paris Blockchain Week 2025

Location: Carrousel du Louvre, Paris

Start Date: 2025-04-08

Consensus Hong Kong 2025

Location: Hong Kong

Start Date: 2025-02-18

Activities

Blockchain Research Symposium

Type: talk

Speakers:

  • Sriram Vishwanath (Head of BD/Growth)