Brevis ProverNet عبارة عن سوق لامركزية تربط بين أحمال العمل المتنوعة التي تعتمد على مبدأ انعدام المعرفة (ZK) - بدءًا من برامج zkVM وصولًا إلى استعلامات المعالج المساعد ZK وإثباتات التجميع - مع مجموعة متنوعة من أدوات الإثبات. يرتكز Brevis على ركيزتين أساسيتين. أولًا، صُمم منذ البداية لدعم الإثباتات غير المتجانسة وخطوط أنابيب الإثبات المركبة متعددة المراحل، مما يسمح للتطبيقات بدمج أنظمة الإثبات وسير العمل وتنسيقها دون التقيد ببنية واحدة.