🌲 Cinder: A simple-but-not-so-efficient dense-to-sparse MLE compiler
tl;dr: Spartan is a versatile zkSNARK framework that requires a sparse MLE PCS to be instantiated.
This blog post explains a simple (and likely well-known) compiler to get such a PCS given a weaker dense PCS as input.
🌲 How to easily make Aptos post-quantum secure
tl;dr: “All is well. All is well.” – Ranchoddas Shamaldas Chanchad
🌲 Deploying zero-knowledge proofs with training wheels
tl;dr:
ZK relations are hard to implement.
Implement them twice: once in a ZK DSL and once in a sane language.
Enshrine a mandatory prover service that checks the sane implementation before creating a ZKP.
This way, bugs in the ZK DSL implementation cannot be exploited as long as the prover service is honest.
🌲 Lessons learned motorcycling from CA to TX
A few tips and tricks for my next, long motorcyle trip.
🌲 Vector commitments (VCs)
tl;dr: Definition of vector commitment (VC) schemes (e.g., Merkle trees, KZG-based, Pointproofs[^GRWZ20], aSVC[^TABplus20], etc. can all satisfy this definition.)
⭐️ Schnorr vs. ECDSA
tl;dr: It’s 2025. Do you know why Schnorr signatures are always better than ECDSA?
🌲 Pointcheval-Sanders (PS) signatures
tl;dr: Pointcheval-Sanders (PS) is the coolest most versatile signature scheme I know of!
112 post articles, 14 pages.