Skip to content

Binius64 Roadmap

What features and apps we plan to build

Features

We are planning to add several important features by the end of 2025:

  • Zero-knowledge. This feature is our most immediate priority. Binius64 does not guarantee input privacy yet. Once we add this feature, many privacy-preserving applications will become available. We are looking forward to enabling verifiable credentials, private payments, and other zero-knowledge applications built on Binius64.
  • Recursion. Proof composition and recursion are important techniques for proving large statements, while bounding memory usage.
  • Succinctness. While Binius64's proof sizes are succinct, its verification complexity is not yet. We are working on achieving succinct verifier complexity and reducing verification times.
  • Field-native hash functions. We are working on achieving higher hash-function proving throughput, by using field-native hash constructions like Vision.
  • Easier developer experience. We are working on even better ways to program Binius applications with native Rust code, matching the UX of modern zkVMs.
  • Faster 32-bit operations. By adding more shift variants for 32-bit values, we will improve performance for hash functions like SHA-256 and Blake3.