diff --git a/reference/.gitignore b/reference/.gitignore
index 12c1a12..c61f03d 100644
--- a/reference/.gitignore
+++ b/reference/.gitignore
@@ -1 +1,5 @@
+.DS_Store
 .ghc.environment.*
+*.o
+*.hi
+testMain
diff --git a/reference/README.md b/reference/README.md
index aa470a6..b3b4891 100644
--- a/reference/README.md
+++ b/reference/README.md
@@ -20,13 +20,13 @@ transform.
 
 - [x] FRI prover
 - [x] FRI verifier
-- [ ] proof serialization
+- [x] proof serialization
 - [ ] serious testing of the FRI verifier
 - [ ] full outsourcing protocol
 - [ ] command line interface
 - [x] faster Goldilocks field operations via C FFI
 - [ ] quadratic field extension in C too
-- [ ] faster hashing via C FFI
+- [x] faster hashing via C FFI
 - [ ] faster NTT via C FFI
 
 ### References
diff --git a/reference/src/cbits/goldilocks.o b/reference/src/cbits/goldilocks.o
deleted file mode 100644
index 3f20297..0000000
Binary files a/reference/src/cbits/goldilocks.o and /dev/null differ
diff --git a/reference/src/cbits/monolith.o b/reference/src/cbits/monolith.o
deleted file mode 100644
index ec72cdb..0000000
Binary files a/reference/src/cbits/monolith.o and /dev/null differ