diff --git a/src/error.rs b/src/error.rs
index ba0466988..e3f5bf398 100644
--- a/src/error.rs
+++ b/src/error.rs
@@ -283,6 +283,10 @@ pub enum Error {
     #[error(transparent)]
     SledError(#[from] sled::Error),
 
+    #[cfg(feature = "sled")]
+    #[error(transparent)]
+    SledTransactionError(#[from] sled::transaction::TransactionError),
+
     #[error("Transaction {0} not found in database")]
     TransactionNotFound(String),
 
diff --git a/src/runtime/import/db.rs b/src/runtime/import/db.rs
index ede5692d3..b8fb23c67 100644
--- a/src/runtime/import/db.rs
+++ b/src/runtime/import/db.rs
@@ -47,6 +47,10 @@ impl DbHandle {
         Self { contract_id, tree }
     }
 
+    pub fn tree(&self) -> sled::Tree {
+        self.tree.clone()
+    }
+
     pub fn get(&self, key: &[u8]) -> Result<Option<Vec<u8>>> {
         if let Some(v) = self.tree.get(key)? {
             return Ok(Some(v.to_vec()))
diff --git a/src/runtime/vm_runtime.rs b/src/runtime/vm_runtime.rs
index 10e1d48b4..61e2aa89f 100644
--- a/src/runtime/vm_runtime.rs
+++ b/src/runtime/vm_runtime.rs
@@ -24,6 +24,7 @@ use std::{
 use darkfi_sdk::{crypto::ContractId, entrypoint};
 use darkfi_serial::serialize;
 use log::{debug, error, info};
+use sled::{transaction::ConflictableTransactionError, Transactional};
 use wasmer::{
     imports, wasmparser::Operator, AsStoreRef, CompilerConfig, Function, FunctionEnv, Instance,
     Memory, MemoryView, Module, Pages, Store, Value, WASM_PAGE_SIZE,
@@ -376,13 +377,7 @@ impl Runtime {
         let _ = self.call(ContractSection::Deploy, payload)?;
 
         // If the above didn't fail, we write the batches.
-        // TODO: Make all the writes atomic in a transaction over all trees.
-        let env_mut = self.ctx.as_mut(&mut self.store);
-        for (idx, db) in env_mut.db_handles.get_mut().iter().enumerate() {
-            let batch = env_mut.db_batches.borrow()[idx].clone();
-            db.apply_batch(batch)?;
-            db.flush()?;
-        }
+        let env_mut = self.write_batches()?;
 
         // Update the wasm bincode in the WasmStore
         env_mut.blockchain.wasm_bincode.insert(env_mut.contract_id, &env_mut.contract_bincode)?;
@@ -390,6 +385,30 @@ impl Runtime {
         Ok(())
     }
 
+    /// Execute an atomic sled transaction to write all batches
+    fn write_batches(&mut self) -> Result<&mut Env> {
+        let mut dbs = vec![];
+        let mut batches = vec![];
+        let env_mut = self.ctx.as_mut(&mut self.store);
+        for (idx, db) in env_mut.db_handles.get_mut().iter().enumerate() {
+            let batch = env_mut.db_batches.borrow()[idx].clone();
+            dbs.push(db.tree());
+            batches.push(batch);
+        }
+
+        dbs.transaction(|dbs| {
+            for (idx, db) in dbs.iter().enumerate() {
+                db.apply_batch(&batches[idx])?;
+            }
+
+            Ok::<(), ConflictableTransactionError<sled::Error>>(())
+        })?;
+
+        env_mut.blockchain.sled_db.flush()?;
+
+        Ok(env_mut)
+    }
+
     /// This funcion runs when someone wants to execute a smart contract.
     /// The runtime will look for an `ENTRYPOINT` symbol in the wasm code, and
     /// execute it if found. A payload is also passed as an instruction that can
@@ -409,13 +428,7 @@ impl Runtime {
         let _ = self.call(ContractSection::Update, update)?;
 
         // If the above didn't fail, we write the batches.
-        // TODO: Make all the writes atomic in a transaction over all trees.
-        let env_mut = self.ctx.as_mut(&mut self.store);
-        for (idx, db) in env_mut.db_handles.get_mut().iter().enumerate() {
-            let batch = env_mut.db_batches.borrow()[idx].clone();
-            db.apply_batch(batch)?;
-            db.flush()?;
-        }
+        self.write_batches()?;
 
         Ok(())
     }