Jade implementation for Rust