افزونه سیگما-بی؛ ابزاری برای اثبات اندوخته رمزارزی نوبیتکس