komunikat „Weryfikacja ograniczenia włączenia zakończona niepowodzeniem” (Inclusion constraint validation failed), zgodnie z poniższym przykładem: 2.2 Weryfikacja całkowitego salda zk-STARK i nieujemnego ograniczenia Sposób weryfikacji: Aby zweryfikować i udowodnić, że rzekomo posiadane aktywa są prawdziwe a żaden użytkownik nie ma ujemnego kapitału własnego netto, odwiedź stronę z naszymi plikami audytu” i pobierz z niej pliki „zk-STARK” zawarte w obszarze Raport o odpowiedzialności (Liability report

Trader A (opłata animatora rynku: 0,02%; opłata taker: 0,03%) kupił 100 kontraktów opcji call (wartość nominalna 1 BTC): Jeśli trader A jest takerem zlecenia w momencie jego realizacji, opłata handlowa wynosi Min(0,03% × 0,01 × 1 × 100, 7% × 0,05 × 0,01 × 1 × 100) = 0,0003 BTC; Jeśli inwestor A jest animatorem rynku w momencie realizacji zlecenia, opłata transakcyjna wynosi Min(0,02% × 0,01 × 1 × 100, 7% × 0,05 × 0,01 × 1 × 100) = 0,0002 BTC.