correct, that should be seen as a disadvantage. If PROXNUT gets to a point where it is deployed into production environments and performance and speed are crucial, the mint should either run alongside proxnut, so verification time is negligible, or if we need to squeeze out even more performance, PROXNUT itself should become a mint.