Rất vui được giới thiệu sự hợp tác mã nguồn mở của chúng tôi với Irreducible!

PetraVM là zkVM thế hệ tiếp theo để tối ưu hóa hiệu suất và giảm chi phí chứng minh, sử dụng các tháp trường nhị phân.