Zero-knowledge proof systems and zkVMs: new SNARKs and STARKs, folding schemes, prover performance and deployments.
Zero-knowledge proof systems and zkVMs: new SNARKs and STARKs, folding schemes, prover performance and deployments.
Every Friday at 10:00, send me an issue of up to 12 items with Zero-knowledge proofs, plus at least one of SNARK, STARK, zkVM, Folding schemes, Prover performance, Lookup arguments or Formal verification of ZK circuits. Skip token announcements and price news or marketing without technical detail. Search the open web, starting with https://eprint.iacr.org/rss/rss.xml, and also https://ethresear.ch/latest.rss, https://a16zcrypto.com/feed/, succinctlabs/sp1 and risc0/risc0. Matching is strict. Anyone can find and subscribe to it in Discover.
Streams that already watch this field. Follow one as it is — it costs nothing extra.
Everything in fully homomorphic encryption: new papers and benchmarks, libraries and releases, new projects and startups, funding, products, standards, talks and events, attacks and incidents — across research, industry and onchain FHE.
Everything around FHERMA, the FHE challenge platform by Fair Math: new challenges and prize pools, results and winners, solution write-ups, Polycircuit and OpenFHE-rs releases, partnerships and mentions.
Every new release of the homomorphic encryption libraries, compilers and SDKs — TFHE-rs, Concrete, fhEVM, OpenFHE, SEAL, HEIR, Lattigo, Poulpy, CryptoLab HEaaN and enVector, Desilo, IBM HElayers, Apple Swift HE, TenSEAL and GPU libraries — with what changed.