Constructing and evaluating ZK proofs involves complex mathematical entities that very few individuals possess the expertise to manage. According to @emilianobonassi, this specific challenge is exactly why @BoundlessHQ chose to partner with Veridise once again to perform a second audit of their Marketplace. You can explore the complete details of this decision and the subsequent findings by reading the full story at the link provided below.

https://veridise.com/blog/audits-archive/boundless-marketplace-audit-methods-findings-and-security/