Introducing the Introduction to Lattice-Based Cryptography Series. This is first post in the series: Mathematical Background on Lattices. In this post, we look into lattices as a mathematical concept and as it pertains to lattice-based cryptography. https://godspowereze.com/posts/mathematical-background-on-lattices/
- 0 replies
- 0 recasts
- 0 reactions
Introducing http://modcc.xyz, a tool for automating repetitive tasks in modern cryptography and zero knowledge research and engineering process. Watch demo 👇 https://www.loom.com/share/4e2e53047b2542d4b79fc0fb10d7f66e?sid=3ef62f87-4e03-4f7c-ab08-8d4f312e0416 The current version focuses on the sumcheck protocol, a fundamental tool for building interactive proof systems. It is used in proof systems like the GKR protocol. With this, you could do the following: - Univariate Lagrange Interpolation - Evaluation of Univariate Polynomials - Multilinear Polynomial Interpolation over the Boolean Hypercube - Evaluation of Multilinear Polynomials - Multivariate Polynomial Interpolation - Evaluation of Multivariate Polynomials All done over a finite field. The goal is to become a repository of tools for automating tasks and showing how complex systems work by coupling smaller components.
- 0 replies
- 0 recasts
- 0 reactions