Okay my fellow zk enthusiasts, questionβ proof systems using PLONKY3 (or really anything FRI based with all the FFTs that involves) vs multivariate polynomials and sum-check (jolt/lasso).
Where do you stand? Why? any random thoughts on the matter?
What are some good discord servers to ask questions about ZK for a total beginner? I want to learn using a personal project (maybe a location based chat app?) but not sure where to start.