Macro assert_current_module 

assert_current_module!() { /* proc-macro */ }

Allows to use crate:: in an #[encrypted] module. Use it like this: assert_current_module!(crate::path::to::encrypted::module);

Example lib.rs:

use arcis::*;

#[encrypted]
mod circuits {
    use arcis::*;

    assert_current_module!(crate::circuits);
    // now I can use crate::circuits

    const MY_CONST: usize = 0;

    #[instruction]
    fn return_my_const() -> usize {
        crate::circuits::MY_CONST
    }
}