Skip to Content.
Sympa Menu

fizinfo - [Fizinfo] Friday 28th March (ATOMKI): programming in Haskell, zero knowledge proofs

fizinfo AT lists.kfki.hu

Subject: ELFT HÍRADÓ

List archive

[Fizinfo] Friday 28th March (ATOMKI): programming in Haskell, zero knowledge proofs


Chronological Thread 
  • From: Gabor Drotos <gabor.drotos AT gmail.com>
  • To: fizinfo AT lists.kfki.hu
  • Subject: [Fizinfo] Friday 28th March (ATOMKI): programming in Haskell, zero knowledge proofs
  • Date: Thu, 27 Mar 2025 09:28:12 +0100
  • Authentication-results: smtp012.wigner.hu (amavis); dkim=pass (2048-bit key) header.d=gmail.com

Dear Colleagues,

You are kindly invited to attend either or both of two talks at ATOMKI tomorrow (Friday 28th March).


**Introduction to Haskell through computation of a matrix norm**
Péter Diviánszky (Faulhorn Zrt.)

9:00-12:00 (with one break)
ATOMKI Visitor Centre

I will present a Haskell implementation of computing the L1 matrix norm, which plays an important role in classical bounds of Bell-type nonlocal games. I will transform this implementation so as to prepare an efficient Haskell algorithm, then I will sketch implementations of variants of the algorithm and challenges of different backends (CPU, GPU, FPGA).


**Introduction to ZKP**
Győző Egri (Faulhorn Zrt.)

14:00-15:30
ATOMKI Visitor Centre

I will give a brief introduction to the world of zero knowledge proofs. I will provide an overview of the basic concepts, main milestones of the development of the topic, and potential use cases.


Kind regards,
Gábor Drótos


  • [Fizinfo] Friday 28th March (ATOMKI): programming in Haskell, zero knowledge proofs, Gabor Drotos, 03/27/2025

Archive powered by MHonArc 2.6.19+.

Top of Page