R1CS, QAP, Groth16 이제야 좀 알겠다

문제는 이제 Groth16이 퇴물이란 것. 최신 프롵토콜과 괴리가 있는듯 함


그리고 여전히 타원 곡선 pairing, 타원곡선 구현 같은 건 블랙박스로 두고 이해하고 있단 점