Fun little adventures in math, proof systems, and beyond. Just starting out ... :)
-
primality test
-
list all relatively primes less than n
-
Frievalds matrix check via python
-
Medium Blog Started
-
-Proofs part 2
-
-Reed Solomon fingerprinting part 3
-
In progress on sumcheck protocol ( Hard coded works, did it for brainstorming, trying to make it generic)
-
- Challenges so far
-
- to implement or not to implement my polynomial parser? ?
-
- Ensuring Fn is a field for defining a finite field for the polynomials?
-
Done with the sumcheck protocol