collegare l'aggregazione ricorsiva in Noir utilizzando l'UltraHonkBackend di Barretenberg. Le prove Honk vengono verificate ricorsivamente da altre prove Honk annidate come matrioske crittografiche tutte cucite insieme in bb.js I dev di @aztecnetwork sono da incolpare per questo inevitabile aneurisma, tra l'altro.