diff --git a/proofs/simple.prf b/proofs/simple.prf
new file mode 100644
index 000000000..e234d706b
--- /dev/null
+++ b/proofs/simple.prf
@@ -0,0 +1,8 @@
+const:
+    G_SPEND: SubgroupPoint
+contract input_spend(
+    secret: Fr -> BinaryNumber
+) -> Point:
+    let public: Point = secret * G_SPEND
+    emit public
+