Are there any benchmarks of this implementation against any other (e.g openzeppelling multi proof verification) ?