diff --git a/Cargo.lock b/Cargo.lock
index 7d236e7..65b8fe1 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1650,6 +1650,10 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
 [[package]]
 name = "ere-risczero"
 version = "0.1.0"
+dependencies = [
+ "thiserror 2.0.12",
+ "zkvm-interface",
+]
 
 [[package]]
 name = "ere-sp1"
diff --git a/crates/ere-risczero/Cargo.toml b/crates/ere-risczero/Cargo.toml
index ebdf4c0..e495733 100644
--- a/crates/ere-risczero/Cargo.toml
+++ b/crates/ere-risczero/Cargo.toml
@@ -6,6 +6,8 @@ rust-version.workspace = true
 license.workspace = true
 
 [dependencies]
+zkvm-interface = { workspace = true }
+thiserror = "2"
 
 [lints]
 workspace = true
diff --git a/crates/ere-risczero/src/compile.rs b/crates/ere-risczero/src/compile.rs
new file mode 100644
index 0000000..e69de29
diff --git a/crates/ere-risczero/src/lib.rs b/crates/ere-risczero/src/lib.rs
index b93cf3f..7b0c953 100644
--- a/crates/ere-risczero/src/lib.rs
+++ b/crates/ere-risczero/src/lib.rs
@@ -1,14 +1,20 @@
-pub fn add(left: u64, right: u64) -> u64 {
-    left + right
-}
+use thiserror::Error;
+use zkvm_interface::Compiler;
 
-#[cfg(test)]
-mod tests {
-    use super::*;
+mod compile;
 
-    #[test]
-    fn it_works() {
-        let result = add(2, 2);
-        assert_eq!(result, 4);
+#[allow(non_camel_case_types)]
+pub struct RV32_IM_RISCZERO_ZKVM_ELF;
+
+#[derive(Debug, Error)]
+pub enum RiscZeroError {}
+
+impl Compiler for RV32_IM_RISCZERO_ZKVM_ELF {
+    type Error = RiscZeroError;
+
+    type Program = Vec<u8>;
+
+    fn compile(path_to_program: &std::path::Path) -> Result<Self::Program, Self::Error> {
+        todo!()
     }
 }