package nizk /* This is an implementation of... TODO */