Ateniese PDP Erway PDP Bowers-Juels-Opatrny (BJO) PoR Shacham-Waters (SW) PoR

Some protocols include both public and private verification variants.

The goal was to build modular, standalone implementations that match the academic work as closely as possible, rather than integrating the protocols into a larger storage or blockchain system.

The core implementations math-heavy and the code comments explain the constructions and reference the relevant papers directly. I apologize in advance to those of you who dislike unicode characters in comments! I also included common abstractions/adaptors so different protocols can be benchmarked and experimented with through a shared API.

The project does not implement PoRep. I was interested specifically on remote verification protocols themselves.