1. 2025
  2. 250727
  3. 250720
  4. 250713
  5. 250706
  6. 250629
  7. 250622
  8. 250615
  9. 250608
  10. 250601
  11. 250525
  12. 250518
  13. 250511
  14. 250504
  15. 250427
  16. 250420
  17. 250413
  18. 250406
  19. 250330
  20. 250323
  21. 250316
  22. 250309
  23. 250302
  24. 250223
  25. 250216
  26. 250209
  27. 250202
  28. 250126
  29. 250119
  30. 250112
  31. 250105
  32. 2024
    ❱
    1. 241229
    2. 241222
    3. 241215
    4. 241208
    5. 241201
    6. 241124
    7. 241117
    8. 241110
    9. 241103
    10. 241027
    11. 241020
    12. 241013
    13. 241006
    14. 240929
    15. 240922
    16. 240915
    17. 240908
    18. 240901
    19. 240825
    20. 240818
    21. 240811
    22. 240804
    23. 240728
    24. 240721
    25. 240714
    26. 240707
    27. 240630
    28. 240623
    29. 240616
    30. 240609
    31. 240602
    32. 240526
    33. 240519
    34. 240512
    35. 240505
    36. 240428
    37. 240421
    38. 240413
    39. 240331
    40. 240322
    41. 240315
    42. 240308
    43. 240301

ZK Insights

Edited by ZKPunk

Highlights

IETF Draft of Polynomial Commitment Schemes

  • https://datatracker.ietf.org/doc/draft-zkproof-polycommit/

Introducing S-two: The fastest prover for real-world ZK applications

  • https://starkware.co/blog/s-two-prover/

Compressing Proofs using Cryptography: A Triumph of Theory and Practice - Yael Kalai

  • https://www.youtube.com/watch?v=AjKGurJp1_U

Updates

The GPU Revolution: How We're Making Ethereum 1000x Faster with Zero-Knowledge Proofs

  • https://blog.polyhedra.network/the-gpu-revolution-how-were-making-ethereum-1000x-faster-with-zero-knowledge-proofs/

FPGA Acceleration of SP1 with AntChain OpenLabs

  • https://blog.succinct.xyz/sp1-fpga-antchain-openlabs/

Papers

Justvengers: Batched VOLE ZK Disjunctions in Communication

  • https://eprint.iacr.org/2025/936

Proof of Exponentiation: Enhanced Prover Efficiency for Algebraic Statements

  • https://eprint.iacr.org/2025/941

DewTwo: a transparent PCS with quasi-linear prover, logarithmic verifier and 4.5KB proofs from falsifiable assumptions

  • https://eprint.iacr.org/2025/129

Logup*: faster, cheaper logup argument for small-table indexed lookups

  • https://eprint.iacr.org/2025/946

Quantum Rewinding for IOP-Based Succinct Arguments

  • https://eprint.iacr.org/2025/947

If you’d like to receive updates via email, subscribe us!

  • https://paragraph.xyz/@zkinsights
🎉 Supported by GCC 🎉