Wiesz, kiedy risc-v vs niestandardowe zk ISA nie ma znaczenia? Kiedy nikt nie przejmuje się generowaniem dowodów. Mam nadzieję, że tak nie jest =)