Work done at Hiroshima University in collaboration with Prof. Toru Nakanishi and Yoshino Hiromi. An implementation of a Zero Knowledge proof of vertex isolation using accumulators and a few bilinear pairing operations. - View it on GitHub