ZK Rust Language Features

This table tracks feature availability, including feature comparison with the main Rust project, and some ZkRust specific features mixed in. This is not a roadmap.

Legend: ✅ Supported, ✨ Supported and distinct from Rust, ❌ Unsupported

Feature	Status	Likelyhood of implementation
For-in-range	✅
Public Integers and booleans	✅
`SbiN` (Secret Binary Integers)	✨
Structs with public	✅
Structs with secret	✨
Tuple Types	✅
Type generics	✅
`continue`, `break`	✅
Type aliases	✅
Generalized `for`-in-iterator	✅
Assigning to struct fields	✅
`fn` Function declaration	✅
Arrays	✅
General derive traits	❌	Likely
`enum`	❌	Likely
`const` Constant items	❌	Possibly
Closure expressions	❌	Possibly
Constant generics	❌	Possibly
Constant evaluation	❌	Possibly
Full iterator interface	❌	Possibly
Function references and types	❌	Possibly
Pattern matching and Destructuring	❌	Possibly
String Type	❌	Possibly
Compound assignment expressions	❌	Possibly
Question mark operator	❌	Possibly
`match`	❌	Possibly
`union`	❌	Possibly
`f32`, `f64` Floats	❌	Unlikely
Associated items	❌	Unlikely
`extern crate`	❌	Unlikely
Full borrow checking	❌	Unlikely
General macro support	❌	Unlikely
Generic Associated Types	❌	Unlikely
Modules	❌	Unlikely
Trait and impl	❌	Unlikely
`dyn` Trait objects	❌	Unlikely
`panic!`	❌	Unlikely
Lifetimes	❌	Unlikely, due to limited utility
References and Pointers	❌	Unlikely, due to limited utility
`loop`	❌	Unlikely, due to gas concerns.
`while`	❌	Unlikely, due to gas concerns.
Bitshift with two secrets	❌	Unlikely, due to performance concerns.
Array indexing with secret-shared index	❌	Unlikely, due to performance concerns.
Async	❌	Incompatible with current archtecture.
Inline Assembly	❌	Incompatible with current archtecture.
Operating System Access	❌	Incompatible with current archtecture.
`print!` and other IO	❌	Incompatible with current archtecture.
Threading	❌	Incompatible with current archtecture.
`unsafe`	❌	Incompatible with current archtecture.