{"version":1,"pages":[{"id":"MGoMRvLZVDGUk0AjibiF","title":"About Us","pathname":"/intro","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Introduction"}]},{"id":"8asp1h9GDjPB9ACnzjIr","title":"Notations & Definitions","pathname":"/intro/introduction/notations-and-definitions","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Introduction"}]},{"id":"wk6iyj3S6YADDgp5uQ8R","title":"MPC","pathname":"/intro/introduction/notations-and-definitions/mpc","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Introduction"},{"label":"Notations & Definitions"}]},{"id":"xZppQAAkdMZONpgE6LTe","title":"ZK","pathname":"/intro/introduction/notations-and-definitions/zk","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Introduction"},{"label":"Notations & Definitions"}]},{"id":"g2m5o5Sp721ykqNUOQ7C","title":"Contribute to this Site!","pathname":"/intro/introduction/contribute-to-this-site","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Introduction"}]},{"id":"iC6wECCIiOQdzw1Ji7yl","title":"NAF (Non-adjacent form)","pathname":"/intro/primitives/naf-non-adjacent-form","siteSpaceId":"sitesp_VfkD4","description":"Reduction of Hamming weight to ~1/3","breadcrumbs":[{"label":"Primitives"}]},{"id":"bVsfn00JAFfoLo9FYRQV","title":"Chinese Remainder Theorem (CRT)","pathname":"/intro/primitives/chinese-remainder-theorem-crt","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"}]},{"id":"AaVL5M1tPSk7ShEshhiZ","title":"Euclidean Algorithm","pathname":"/intro/primitives/euclidean-algorithm","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"}]},{"id":"E2kZSmS0puj2BdrAgQkh","title":"Extended Euclidean Algorithm","pathname":"/intro/primitives/euclidean-algorithm/extended-euclidean-algorithm","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Euclidean Algorithm"}]},{"id":"8AmSTZYkg1gNk2AZ9TQy","title":"Binary Euclidean Algorithm","pathname":"/intro/primitives/euclidean-algorithm/binary-euclidean-algorithm","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Euclidean Algorithm"}]},{"id":"DhsWc6BCtswBFJDJa6aU","title":"Extended Binary Euclidean Algorithm","pathname":"/intro/primitives/euclidean-algorithm/extended-binary-euclidean-algorithm","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Euclidean Algorithm"}]},{"id":"czLK1jmZt54wSCrnOAUV","title":"Coding Theory","pathname":"/intro/primitives/coding-theory","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"}]},{"id":"pswBaDJY3p60VsF7z34y","title":"Linear Code","pathname":"/intro/primitives/coding-theory/linear-code","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Coding Theory"}]},{"id":"i806dLyAoU3FroqVpSnx","title":"Number Theoretic Transform","pathname":"/intro/primitives/number-theoretic-transform","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/jeHQtLduHN8","breadcrumbs":[{"label":"Primitives"}]},{"id":"X7OPrnju2xuwcuEnmaLI","title":"Parallel/Distributed FFT","pathname":"/intro/primitives/number-theoretic-transform/parallel-distributed-fft","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Number Theoretic Transform"}]},{"id":"hdTvM5HZBQo1BSWjibt1","title":"NTT Over Extension Field","pathname":"/intro/primitives/number-theoretic-transform/ntt-over-extension-field","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Number Theoretic Transform"}]},{"id":"GJNxTPPz6MJFAqmhiRiL","title":"Abstract Algebra","pathname":"/intro/primitives/abstract-algebra","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"}]},{"id":"DROztYZXdWntrCP0jX0D","title":"Group","pathname":"/intro/primitives/abstract-algebra/group","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"}]},{"id":"ulVSHlpMNcYvxw67ZhcG","title":"-Morphisms","pathname":"/intro/primitives/abstract-algebra/group/morphisms","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Group"}]},{"id":"W6fWRSdqHw5M4YX0QlYU","title":"Batch Inverse","pathname":"/intro/primitives/abstract-algebra/group/batch-inverse","siteSpaceId":"sitesp_VfkD4","description":"Reduction of the number of field inverse operations when computing batch operations.","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Group"}]},{"id":"k7K79ncH2H7MzZtCkzkq","title":"Elliptic Curve","pathname":"/intro/primitives/abstract-algebra/elliptic-curve","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"}]},{"id":"Q1qpOw4HWZ2vbh8NHRvW","title":"Weierstrass Curve","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/weierstrass-curve","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"}]},{"id":"BEsoOYqzp0dXHAagiEbk","title":"Coordinate Forms","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/weierstrass-curve/coordinate-forms","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"Weierstrass Curve"}]},{"id":"QJiOH5a1cdqhmOobtNIb","title":"Fast Elliptic Curve Arithmetic and Improved WEIL Pairing Evaluation","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/weierstrass-curve/fast-elliptic-curve-arithmetic-and-improved-weil-pairing-evaluation","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"Weierstrass Curve"}]},{"id":"rlEDzAiWDcQDthhIJpj1","title":"Edwards Curve","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/edwards-curve","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"}]},{"id":"yNHBqAKixg6RrxtlrZHh","title":"Coordinate Forms","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/edwards-curve/coordinate-forms","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"Edwards Curve"}]},{"id":"OmgZbwPGJaWOxoYIzO4N","title":"Twisted Edwards ↔ Short Weierstrass Transformation","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/edwards-curve/twisted-edwards-short-weierstrass-transformation","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"Edwards Curve"}]},{"id":"A9jEAJlWT9zbgD19tV5X","title":"Batch Inverse for Batch Point Additions","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/batch-inverse-for-batch-point-additions","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"}]},{"id":"NiZgj6jwc4Ckhau8g1KN","title":"Scalar Multiplication","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/scalar-multiplication","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"}]},{"id":"zO24zUbX6uTiAomY7pDg","title":"Double-and-add","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/scalar-multiplication/double-and-add","siteSpaceId":"sitesp_VfkD4","description":"Reduction of scalar multiplication into double and add operations","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"Scalar Multiplication"}]},{"id":"A1clHRLhnoi2lMUyPsc8","title":"GLV Decomposition","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/scalar-multiplication/glv-decomposition","siteSpaceId":"sitesp_VfkD4","description":"Splitting a scalar multiplication into 2 and reducing count of double operations","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"Scalar Multiplication"}]},{"id":"wTMqAFxEgWeMipsKf4WY","title":"MSM","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/msm","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"}]},{"id":"p6N6g4U28quYTfpZ2uo8","title":"Pippenger's Algorithm","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/msm/pippengers-algorithm","siteSpaceId":"sitesp_VfkD4","description":"Reduction of multi-scalar multiplication (MSM) into double and add operations","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"MSM"}]},{"id":"Q9CuIKPLs0SdiLYqXptI","title":"Signed Bucket Index","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/msm/signed-bucket-index","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"MSM"}]},{"id":"Srm2QX0NRbBfdYtN2780","title":"CycloneMSM","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/msm/cyclonemsm","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/djA3mzn7BPg","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"MSM"}]},{"id":"No6P2AADdz2Uk6FOUqST","title":"EdMSM","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/msm/edmsm","siteSpaceId":"sitesp_VfkD4","description":"ZPrize \"Accelerating MSM on Mobile\" winner","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"MSM"}]},{"id":"doypI6zQAdqXhCsQDdxP","title":"cuZK","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/msm/cuzk","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/D8b4yi_URJE","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"MSM"}]},{"id":"cMDwn5HKfuKw28Iggb8G","title":"ICICLE MSM","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/msm/icicle-msm","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"},{"label":"MSM"}]},{"id":"AP4VuRpTEkyahk0fkIhm","title":"2-Chain and 2-Cycle of Elliptic Curves","pathname":"/intro/primitives/abstract-algebra/elliptic-curve/2-chain-and-2-cycle-of-elliptic-curves","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Elliptic Curve"}]},{"id":"mIoPNOn8t3asyHWv3P1B","title":"Extension Field","pathname":"/intro/primitives/abstract-algebra/extension-field","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"}]},{"id":"TbmotDa1ReUCzN0V9l52","title":"Multiplication","pathname":"/intro/primitives/abstract-algebra/extension-field/multiplication","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Extension Field"}]},{"id":"HMnCYI7CBIPsdlEesdLP","title":"Karatsuba Multiplication","pathname":"/intro/primitives/abstract-algebra/extension-field/multiplication/karatsuba-multiplication","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/jtImWo3CmZM","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Extension Field"},{"label":"Multiplication"}]},{"id":"W7gBd1U4eunGIqeeoeZl","title":"Toom-Cook Multiplication","pathname":"/intro/primitives/abstract-algebra/extension-field/multiplication/toom-cook-multiplication","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Extension Field"},{"label":"Multiplication"}]},{"id":"jpChMydf28kDX4x6RvMl","title":"Inversion","pathname":"/intro/primitives/abstract-algebra/extension-field/inversion","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/9wpJk-wUa-w, https://www.youtube.com/watch?v=54I7Rd9_9_s","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Extension Field"}]},{"id":"K60agVXLkuzGClrhgd3R","title":"Optimized Inversion Algorithm","pathname":"/intro/primitives/abstract-algebra/extension-field/inversion/optimized-inversion-algorithm","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://www.youtube.com/watch?v=QNxgKYcc-A0","breadcrumbs":[{"label":"Primitives"},{"label":"Abstract Algebra"},{"label":"Extension Field"},{"label":"Inversion"}]},{"id":"wx2haeuOCSa3rep7tqTj","title":"Encryption Scheme","pathname":"/intro/primitives/encryption-scheme","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"}]},{"id":"BXlXO5V8PXOg3SDMMfVG","title":"ElGamal Encryption","pathname":"/intro/primitives/encryption-scheme/elgamal-encryption","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Encryption Scheme"}]},{"id":"zYKOtFupsV6pY0W2Ydke","title":"Modular Arithmetic","pathname":"/intro/primitives/modular-arithmetic","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"}]},{"id":"w6i10fqr594QUqgbU1cv","title":"Modular Reduction","pathname":"/intro/primitives/modular-arithmetic/modular-reduction","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"}]},{"id":"XZCYywbMKAEoxYRYXW2e","title":"Barrett Reduction","pathname":"/intro/primitives/modular-arithmetic/modular-reduction/barrett-reduction","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"},{"label":"Modular Reduction"}]},{"id":"tu6t0Dxn6H1lbF9lLQxQ","title":"Montgomery Reduction","pathname":"/intro/primitives/modular-arithmetic/modular-reduction/montgomery-reduction","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"},{"label":"Modular Reduction"}]},{"id":"pdLXL44MPDpLYjKUvzYI","title":"Modular Inverse","pathname":"/intro/primitives/modular-arithmetic/modular-inverse","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"}]},{"id":"fW61QLzr8zu4PBtWoSSh","title":"Bernstein-Yang's Inverse","pathname":"/intro/primitives/modular-arithmetic/modular-inverse/bernstein-yangs-inverse","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"},{"label":"Modular Inverse"}]},{"id":"BRT6XTHAiK0GAVDOYmZV","title":"Modular Square Root","pathname":"/intro/primitives/modular-arithmetic/modular-square-root","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"}]},{"id":"dYDZoOgLohrRx30AXulf","title":"Shanks Algorithm","pathname":"/intro/primitives/modular-arithmetic/modular-square-root/shanks-algorithm","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"},{"label":"Modular Square Root"}]},{"id":"twcEJC3HG5IahSHNh1M4","title":"Tonelli-Shanks Algorithm","pathname":"/intro/primitives/modular-arithmetic/modular-square-root/tonelli-shanks-algorithm","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"},{"label":"Modular Square Root"}]},{"id":"pOzl6y2BJjU8yRKYo1f4","title":"Generalized Shanks Algorithm for Quadratic Extension Field","pathname":"/intro/primitives/modular-arithmetic/modular-square-root/generalized-shanks-algorithm-for-quadratic-extension-field","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"},{"label":"Modular Arithmetic"},{"label":"Modular Square Root"}]},{"id":"xM69d7cqlfyAKK3C0PFA","title":"Multiset Check","pathname":"/intro/primitives/multiset-check","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"}]},{"id":"9ua3H1FvfGH9a5R4tbPl","title":"Sumcheck","pathname":"/intro/primitives/sumcheck","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"}]},{"id":"TXZvGck3dZpCBqZk7VGj","title":"Speeding Up Sumcheck","pathname":"/intro/primitives/sumcheck/speeding-up-sumcheck","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://www.youtube.com/watch?v=YXANnCp5118","breadcrumbs":[{"label":"Primitives"},{"label":"Sumcheck"}]},{"id":"qU7oAN5cPgFq66ST2T7C","title":"Commitment Scheme","pathname":"/intro/primitives/commitment-scheme","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Primitives"}]},{"id":"Bh7t4yAOwnGwx2ToCZkA","title":"Fflonk","pathname":"/intro/primitives/commitment-scheme/fflonk","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Commitment Scheme"}]},{"id":"XTCNDtUALENVeAHGW84E","title":"SHPlonk","pathname":"/intro/primitives/commitment-scheme/shplonk","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Commitment Scheme"}]},{"id":"BRg8GnKSIzeRE3fN3Epn","title":"Zeromorph","pathname":"/intro/primitives/commitment-scheme/zeromorph","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Primitives"},{"label":"Commitment Scheme"}]},{"id":"9F5swAhKBFWAw8Umfnue","title":"Yao's Garbled Circuits","pathname":"/intro/mpc/yaos-garbled-circuits","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://www.youtube.com/watch?v=-BT-Oyqy5vc","breadcrumbs":[{"label":"MPC"}]},{"id":"vXx9Y5Wq6r85CcBYhtW0","title":"GMW","pathname":"/intro/mpc/gmw","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"MPC"}]},{"id":"7yu3x0vljucIASxyxYd2","title":"BMR","pathname":"/intro/mpc/bmr","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"MPC"}]},{"id":"mdQN5eQsigoA6A7c5ZtH","title":"Arithmetization","pathname":"/intro/zk/arithmetization","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"}]},{"id":"M5IwjlVQo2VtwSRWV3Sm","title":"R1CS","pathname":"/intro/zk/arithmetization/r1cs","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"Arithmetization"}]},{"id":"Var2V0MMKp9XiYxjELvU","title":"QAP","pathname":"/intro/zk/arithmetization/r1cs/qap","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"Arithmetization"},{"label":"R1CS"}]},{"id":"wU34BIXy6f4im92ew9n8","title":"PLONK","pathname":"/intro/zk/arithmetization/plonk","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"Arithmetization"}]},{"id":"C9pWNEVrUYbVLIvwn7C4","title":"AIR","pathname":"/intro/zk/arithmetization/air","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"},{"label":"Arithmetization"}]},{"id":"08MHL3RXn4kUTYnMevDN","title":"CCS","pathname":"/intro/zk/arithmetization/ccs","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"Arithmetization"}]},{"id":"ogR1vWVEoIuh9i0hH6KQ","title":"Folding","pathname":"/intro/zk/folding","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"}]},{"id":"Lh3t1gP39Qu8SDXO2SQf","title":"LatticeFold","pathname":"/intro/zk/folding/latticefold","siteSpaceId":"sitesp_VfkD4","description":"This article aims to intuitively explain the goals and processes of the LatticeFold protocol.","breadcrumbs":[{"label":"ZK"},{"label":"Folding"}]},{"id":"mT7ydiMhxFUGbLdaAOmJ","title":"Nova","pathname":"/intro/zk/folding/nova","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://www.youtube.com/watch?v=dDsAroTRaFI","breadcrumbs":[{"label":"ZK"},{"label":"Folding"}]},{"id":"qPZNx9ETuhVo2MK2KHVi","title":"Nova over Cycles of Curves","pathname":"/intro/zk/folding/nova/nova-over-cycles-of-curves","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"Folding"},{"label":"Nova"}]},{"id":"81qf6Afnmk8RNctzMEsq","title":"Lookup","pathname":"/intro/zk/lookup","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"}]},{"id":"vNzhcpgqTEoTjxsYgK5t","title":"Lasso","pathname":"/intro/zk/lookup/lasso","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"},{"label":"Lookup"}]},{"id":"YDybYcWm81HMsG46uD6Q","title":"LogUp-GKR","pathname":"/intro/zk/lookup/logup-gkr","siteSpaceId":"sitesp_VfkD4","description":"This article explores how the Halo2 Lookup, LogUp, and LogUp-GKR protocols have evolved.","breadcrumbs":[{"label":"ZK"},{"label":"Lookup"}]},{"id":"9CkhYOVjcz5PrRQ0ySJ1","title":"LogUp*","pathname":"/intro/zk/lookup/logup","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"Lookup"}]},{"id":"eFodurDGE0jEcKIBbv5y","title":"SNARK","pathname":"/intro/zk/snark","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"}]},{"id":"k4khuHlnBA63OdCwL9ul","title":"Groth16","pathname":"/intro/zk/snark/groth16","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://www.youtube.com/watch?v=1upt6GOdYXk","breadcrumbs":[{"label":"ZK"},{"label":"SNARK"}]},{"id":"PU20lI87xCy2Bc4XZwZu","title":"HyperPlonk","pathname":"/intro/zk/snark/hyperplonk","siteSpaceId":"sitesp_VfkD4","description":"This article aims to intuitively explain the goals and processes of the HyperPlonk protocol.","breadcrumbs":[{"label":"ZK"},{"label":"SNARK"}]},{"id":"zkC33d0XskdAw0h0HcJy","title":"Spartan","pathname":"/intro/zk/snark/spartan","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://www.youtube.com/watch?v=adsGo7DvkJ8","breadcrumbs":[{"label":"ZK"},{"label":"SNARK"}]},{"id":"Uz2gOyrRuQ9tYIgqB6wN","title":"SPARK","pathname":"/intro/zk/snark/spartan/spark","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"SNARK"},{"label":"Spartan"}]},{"id":"KPzMpVhXr5hs4fBbEBS4","title":"GKR","pathname":"/intro/zk/snark/gkr","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/OTCxQ9qIzDY","breadcrumbs":[{"label":"ZK"},{"label":"SNARK"}]},{"id":"vDPjinby1BT4qVyA7DMR","title":"SuperSpartan","pathname":"/intro/zk/snark/superspartan","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/4Qvj2ME-Xyg","breadcrumbs":[{"label":"ZK"},{"label":"SNARK"}]},{"id":"T01VHkEKrt1MU97gMJWE","title":"STARK","pathname":"/intro/zk/stark","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"}]},{"id":"gjXKwP09mHU6a1KqX4gG","title":"Additive NTT","pathname":"/intro/zk/stark/additive-ntt","siteSpaceId":"sitesp_VfkD4","description":"This article aims to intuitively explain the goals and process of the Additive NTT protocol.","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"mlDkG7pKWuHW4gH62V1c","title":"Basefold","pathname":"/intro/zk/stark/basefold","siteSpaceId":"sitesp_VfkD4","description":"This article aims to provide an intuitive explanation of the goals and processes of the Basefold protocol.","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"hyAuALRz4C27VLMIdulw","title":"Binius","pathname":"/intro/zk/stark/binius","siteSpaceId":"sitesp_VfkD4","description":"This article aims to intuitively explain the objectives and process of the Binius protocol.","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"JdZNUmt3MILT9Wy1PlCC","title":"Brakedown","pathname":"/intro/zk/stark/brakedown","siteSpaceId":"sitesp_VfkD4","description":"This document aims to intuitively explain the goals and processes of the Brakedown protocol.","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"h48i0GxXijoC2EiKnGRZ","title":"CircleSTARK","pathname":"/intro/zk/stark/circlestark","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"SkS4ekLQqzMzbKUlDFxq","title":"FRI","pathname":"/intro/zk/stark/fri","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"tyV4B80kHnH68zdP3zN3","title":"FRI Security Features and Optimizations","pathname":"/intro/zk/stark/fri/fri-security-features-and-optimizations","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"},{"label":"STARK"},{"label":"FRI"}]},{"id":"nMjiR7kOAdejcFQCJEAf","title":"DEEP FRI","pathname":"/intro/zk/stark/deep-fri","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"3KDeeoWrkFQs7kuZLeyQ","title":"STIR","pathname":"/intro/zk/stark/stir","siteSpaceId":"sitesp_VfkD4","description":"This article outlines the goal and process of the STIR (Shift To Improve Rate) protocol as intuitively as possible.","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"XpuZWWZwVCRFz6NUD0AL","title":"WHIR","pathname":"/intro/zk/stark/whir","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"ZK"},{"label":"STARK"}]},{"id":"wchmduwHyIq0aC72ai8v","title":"Distributed ZK","pathname":"/intro/zk/distributed-zk","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"}]},{"id":"hDQKBFffP36pGyxOyMwR","title":"Ryan's Trick for Distributed Groth16","pathname":"/intro/zk/distributed-zk/ryans-trick-for-distributed-groth16","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"Distributed ZK"}]},{"id":"xFnVkVPIo3TvOUv7MnnP","title":"DIZK","pathname":"/intro/zk/distributed-zk/dizk","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/jbWOxNntmPQ","breadcrumbs":[{"label":"ZK"},{"label":"Distributed ZK"}]},{"id":"odJaMmmR4YMjr3x5MyZX","title":"Pianist","pathname":"/intro/zk/distributed-zk/pianist","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"ZK"},{"label":"Distributed ZK"}]},{"id":"x0POwA3j5rnZieUO1oLM","title":"zkLogin","pathname":"/intro/application/zklogin","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"Application"}]},{"id":"GnQ1rn6yHgSwMdHaYEek","title":"zkHoldem","pathname":"/intro/application/zkholdem","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://www.youtube.com/watch?v=vQ5-Sn2dHFE","breadcrumbs":[{"label":"Application"}]},{"id":"ri73i01IUOsyEJQn6EUS","title":"zkTLS","pathname":"/intro/application/zktls","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"Application"}]},{"id":"V39XdxXrvslm1XZ4j6tj","title":"DECO","pathname":"/intro/application/zktls/deco","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://www.youtube.com/watch?v=cTBqiwAx5jA","breadcrumbs":[{"label":"Application"},{"label":"zkTLS"}]},{"id":"D6FsXsSVxcuaWxIuj9VM","title":"Proxying is enough","pathname":"/intro/application/zktls/proxying-is-enough","siteSpaceId":"sitesp_VfkD4","description":"Presentation: https://youtu.be/OL5rqvLkJfE","breadcrumbs":[{"label":"Application"},{"label":"zkTLS"}]},{"id":"hfwLZi1DNrDpY7maJUL3","title":"zkDSL","pathname":"/intro/zkdsl","siteSpaceId":"sitesp_VfkD4"},{"id":"nzZshxeac4G8VCOJNzh4","title":"Cairo","pathname":"/intro/zkdsl/cairo","siteSpaceId":"sitesp_VfkD4","description":"","breadcrumbs":[{"label":"zkDSL"}]},{"id":"2lHdHQ9MgMkx8IEKFHdF","title":"Cairo M","pathname":"/intro/zkdsl/cairo-m","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"zkDSL"}]},{"id":"jTgGverB96TjEgfjFROX","title":"zkVM","pathname":"/intro/zkvm","siteSpaceId":"sitesp_VfkD4"},{"id":"JuboUm5HBlFCsCCPNWMW","title":"Lean VM","pathname":"/intro/zkvm/lean-vm","siteSpaceId":"sitesp_VfkD4","breadcrumbs":[{"label":"zkVM"}]}]}