This week Mustafa AI-Bassam joined us for an open discussion on different approaches of data availability sampling. Paper links: Fraud and Data Availability Proofs - arxiv.org/abs/1809.09044 ethresear.ch/t/2d-data-avai… youtu.be/fDgSr9MMmAc

This week Wei and Rand joined us for an open discussion on privacy-preserving smart contracts. Paper links: smartFHE - eprint.iacr.org/2021/133.pdf Pesca - wdai.us/files/2022/PES… zkHawk - eprint.iacr.org/2021/501.pdf Zether -crypto.stanford.edu/~buenz/papers/… youtu.be/-cWhxVH_LNc

This week in Delendum Research: zk-SNARK Aggregation - popular zk-SNARK aggregation constructions and some potentially interesting approaches (PlonkPack & Multilinear Polynomials). delendum.xyz/2022/11/22/zk-…

Tomorrow (Dec 20) at 9:30AM PT, Jordi Baylina - baylina.eth Jordi and Daniel Lubarov Daniel will lead a seminar on optimizations of zkEVM Polygon. We recommend reading the following papers before the session: 1. eprint.iacr.org/2022/1470 2. eprint.iacr.org/2022/1050 Join link: us06web.zoom.us/j/88692690522?…

Last week Daniel Daniel Lubarov and Jordi Jordi Baylina - baylina.eth hosted a seminar on “optimizations of zkEVM” (or bignum arithmetic for zero-knowledge proofs). Paper links: 1. eprint.iacr.org/2022/1470 2. eprint.iacr.org/2022/1050 youtu.be/LSFOZ3K6CtI

Introducing zk system benchmarking in collaboration with previous handle of Miden RISC Zero - standard benchmarks for comparing the performance of different zero-knowledge proof libraries. delendum.xyz/2023/01/11/zk-…

This week Justin joined us for an open discussion on Brakedown, linear-time encodable codes and SNARKs. Paper link: eprint.iacr.org/2021/1043 youtu.be/KctW1wEfkhs

Last week, Chris joined us for an open discussion on the feasibility of lattice-based SNARKs. Paper link: eprint.iacr.org/2022/1368.pdf Those who want more lattice foundations can read through Chris survey “A Decade of Lattice Cryptography” on his webpage. youtu.be/4-TJMHI3tYw

We are hosting a research workshop on Mar 1 in Denver. The workshop will feature keynote speeches, interactive sessions, and a working group session where attendees can present their proposals and receive feedback from peers. delendum.xyz/2023/01/24/int…

Last week, Eli, Dan and David joined us for an open discussion on one of their recent work "Scalable and Transparent Proofs over All Large Fields, via Elliptic Curves". Paper links: 1. eprint.iacr.org/2022/1542 (required) 2. arxiv.org/abs/2107.08473 youtu.be/QWPesJd1_N8

Recordings of the talks at Future Computing Research Workshop are available on our Youtube Channel now. Please check youtube.com/playlist?list=…

This week: Customized gates for the Anemoi hash function with Weikeng Required paper: eprint.iacr.org/2022/1487.pdf youtu.be/i5_TE5vXKFE

In this talk, Daniel discusses ideas for a faster prover, in particular how we can use smaller and faster fields despite their lack of smooth subgroups. Brainstorming Plonky3: youtu.be/giFA3UXbu_s

In this talk, Max questions whether a new zkVM-friendly instruction set architecture should be developed to target widely adopted programming languages. Optimal zkVM Design: youtu.be/cpCZLHeWRWQ

Last week, Srinath and Abhiram joined us for an open discussion on one of their recent work SuperNova. youtu.be/BiKMCNKwaec

Today, Alan joined us for an open discussion on one of his recent work Tip5. Paper link: eprint.iacr.org/2023/107.pdf youtu.be/6kAKgt1UkJQ

Sangria: a folding scheme for PLONK arithmetization, based on the folding scheme for R1CS of Nova. youtu.be/DYdK3jgUE7k

SMT + finite field: a foundation for ZKP verification. Paper links: 1. finite-field reasoning in an SMT solver: eprint.iacr.org/2023/0912 2. applying it to verify a finite-field-blaster in a ZKP compiler: eprint.iacr.org/2023/778 youtu.be/WFlBwhw42DA

BaseFold's recording is available on YouTube now: youtu.be/4Rj3fTuIDHQ?si…