cryptologie.net

cryptography, security, and random thoughts

 RSS ↗

Hey! I'm David, cofounder of zkSecurity and author of Real-World Cryptography.

More about me

I'm also an advisor at Archetype. I was previously a cryptography architect of Mina at O(1) Labs, the security lead for Libra/Diem at Facebook, and a security engineer at the Cryptography Services of NCC Group. Welcome to my blog about cryptography, security, and other related topics.

“Cryptologie” is the French spelling of “cryptology.”

← back to all posts

Type at least two characters to search.

    How does PLONK work? Part 7: A sketch protocol with our polynomial

    blog

    In this seventh video, I explain how we use our circuit polynomial f in a protocol between a prover and a verifier to prove succinctly that f vanishes on a number of specified points.

    Stay tuned for part 9… Part 8 is here. Check the full series here.

    suggested reads:
    → How does PLONK work? Part 8: A polynomial dance • blog
    → How does PLONK work? Part 3: Starting with the end: polynomials • blog
    → Understanding PLONK • blog
    ← back to all posts blog • 2021-08-17

    recent posts

    The API is English, the deterministic-agentic border is shifting
    blog
    Looking for a cryptography audit? Here's where to go
    blog
    What's next after soulbound NFTs? Self-willed NFTs via zkML
    blog
    How to Make it in a Security Team
    blog
    Getting Into The Zone
    blog

    elsewhere

    book Real-World Cryptography Applied cryptography, from Manning. podcast Two And A Half Coins Crypto, banking & distributed systems. youtube Cryptography videos Concepts & security, explained.