Math & Engineering
Previously I wrote about several elliptic curve signature schemes. I did not cover pairing based ones. These allow for some great aggregation schemes. so let's cover those now. Let H S :I→S be a hash function mapping some input set I to the output set S. A superscript like H ′ is used to indicate two domain separated hash functions. Securely generating elliptic curve points from binary noise is challenging. The naive solution of multiplying by a generator is not secure, since the discrete logarithm is known. The BLS paper introduced the first solution: repeatedly trying x coordinates until a valid curve point is found. This method is generic but not constant time. Constant time methods exists but are curve specific. Let G 1 , G 2 , G 3 be elliptic curve groups with the same scalar field F, generators G 1 , G 2 , G 3 and a pairing e:G 1 ×G 2 →G 3 . A pairing is a function that satisfies e(a⋅A,b⋅B)=a⋅b⋅e(A,B) and is not the trivial solution e(-,
\gdef\F{\mathbb{F}} \gdef\p#1{({#1})} \gdef\abs#1{\lvert{#1}\rvert} \gdef\set#1{\mathcal{#1}} \gdef\setb#1#2{\{{#1} \mid {#2}\}} \gdef\dummyarg{\operatorname{-}} \gdef\e{\mathrm{e}} \gdef\g{\mathrm{g}} BLS Signatures \gdef\F{\mathbb{F}} \gdef\G{\mathbb{G}} \gdef\g{\mathrm{G}} \gdef\h{\mathtt{H}} \gdef\e{\mathrm{e}} Previously I wrote about several elliptic curve signature schemes . I did not cover pairing based ones. These allow for some great aggregation schemes. so let's cover those now. Background Hash to curve Let \h_{\mathcal S} : \mathcal I → \mathcal S be a hash function mapping some in
Explore this link on the map →related reading
- BLS Signature Aggregation: Under the Hood — stumirror.xyz
- BLS Multi-Signatures With Public-Key Aggregationcrypto.stanford.edu
- thesis.pdfaayushg.com
- The BBS Signature Schemeidentity.foundation
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Possible futures of the Ethereum protocol, part 2: The Surgevitalik.eth.limo
- Secure multi-party computation - Wikipediaen.wikipedia.org
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- BBS per Verifier Linkabilityietf.org
- Applied Crypto #1: Elliptic Curve Cryptography | ZK Learning Resourceslearn.0xparc.org
- La cryptographie expliquéebibmath.net
- Signal >> Blog >> Quantum Resistance and the Signal Protocolsignal.org