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+.