rdi-berkeley/zkp-course-lecture3-code not found