Boundless là giao thức tính toán phi tập trung, có thể xác minh, do nhóm RISC Zero phát triển. Giao thức này đặt mục tiêu xây dựng một thị trường nơi mọi tài nguyên tính toán trên thế giới đều được xác thực và đo lường bằng bằng chứng không kiến thức (ZKP). Nhờ đó, các tài nguyên này có thể mua bán tự do trên thị trường mở và minh bạch.