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 2 details Fʀᴀᴄᴛᴀʟ’s subprotocols, such as Univariate Sumcheck for rational functions, Holographic Lincheck, Sparse Matrix Arithmetization or the Verifier.
- Full article: https://research.cryptium.ch/demystifying-fractal-part-ii/
- Abstract in Medium: https://medium.com/cryptium-research/demystifying-fractal-part-ii-5ff512179d03
- Related Tezos Agora Forum topics:
