ZKPunk's ZK Insights

Highlights

NIST PQC Standardization Process | HQC Announced as a 4th Round Selection

• https://csrc.nist.gov/News/2025/hqc-announced-as-a-4th-round-selection

Math isn't ready to solve this problem

An introduction to the rank conjecture, an unsolved problem about elliptic curves.

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

The path to secure and efficient zkVMs: How to track progress

A post outlining a structured roadmap for zkVM development. It separates “security stages” from “speed stages,” giving us a transparent way to track progress.

• https://a16zcrypto.com/posts/article/secure-efficient-zkvms-progress/

Partial evaluations and linearization

• https://www.cryptologie.net/article/626/partial-evaluations-and-linearization/

Still confused by Plonk's permutation?

• https://www.cryptologie.net/article/627/still-confused-by-plonks-permutation/

Papers

Transmitting Secrets by Transmitting only Plaintext

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

Preimage Attacks on up to 5 Rounds of SHA-3 Using Internal Differentials

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

A Unified Framework for Succinct Garbling from Homomorphic Secret Sharing

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

Homomorphic Signature-based Witness Encryption and Applications

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

Disincentivize Collusion in Verifiable Secret Sharing

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

Polar Lattice Cryptography

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

Verifiable Secret Sharing Based on Fully Batchable Polynomial Commitment for Privacy-Preserving Distributed Computation

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

A 10-bit S-box generated by Feistel construction from cellular automata

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

Revisiting the Security and Privacy of FIDO2

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

Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth

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

SoK: Efficient Design and Implementation of Polynomial Hash Functions over Prime Fields

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

zkAML: Zero-knowledge Anti Money Laundering in Smart Contracts with whitelist approach

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

PMNS arithmetic for elliptic curve cryptography

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

Optimized Frobenius and Cyclotomic Cubing for Enhanced Pairing Computation

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

Cross-Platform Benchmarking of the FHE Libraries: Novel Insights into SEAL and OpenFHE

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

HammR: A ZKP Protocol for Fixed Hamming-Weight Restricted-Entry Vectors

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

A Note on the Advanced Use of the Tate Pairing

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

Post Quantum Migration of Tor

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

Worst-case Analysis of Lattice Enumeration Algorithm over Modules

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

RHQC: post-quantum ratcheted key exchange from coding assumptions

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

An Efficient Sequential Aggregate Signature Scheme with Lazy Verification

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