kopplar ihop rekursiv aggregering i Noir med Barretenbergs UltraHonkBackend. Honk-bevis verifieras rekursivt av andra Honk-bevis, inbäddade som kryptografiska matryoshkor, alla hopsydda i bb.js @aztecnetwork utvecklarna är skyldiga för denna oundvikliga aneurysm förresten