Demystifying Fractal: Part II
Published in
1 min readApr 24, 2020
In the previous post, we went over Fʀᴀᴄᴛᴀʟ at a very high level, describing its features and what kind of subprotocols we would need to make it work. Part II details Fʀᴀᴄᴛᴀʟ’s subprotocols, such as Univariate Sumcheck for rational functions, Holographic Lincheck, Sparse Matrix Arithmetization or the Verifier
Full Article
Written by Nat Bunner, zero-knowledge cryptography researcher & protocol developer at Metastate. For feedback or questions, please do not hesitate to contact us : team@metastate.dev