підключення рекурсивної агрегації в Noir за допомогою Barretenberg's UltraHonkBackend. Докази Хонка рекурсивно перевіряються іншими Хонк-доказами, вкладеними, як криптографічні матрьошки, всі зшиті разом у bb.js @aztecnetwork розробники винні в цій неминучій аневризмі, до речі