diff --git a/truffle/contracts/verifier.sol b/truffle/contracts/Verifier.sol
similarity index 100%
rename from truffle/contracts/verifier.sol
rename to truffle/contracts/Verifier.sol
diff --git a/truffle/contracts/VerifierProxy.sol b/truffle/contracts/VerifierProxy.sol
index 0ed59de..62477bb 100644
--- a/truffle/contracts/VerifierProxy.sol
+++ b/truffle/contracts/VerifierProxy.sol
@@ -2,7 +2,7 @@ pragma solidity ^0.5.4;
 pragma experimental ABIEncoderV2;
 
 import "./Structs.sol";
-import "./verifier.sol";
+import "./Verifier.sol";
 
 
 contract VerifierProxy is Structs {
diff --git a/truffle/migrations/2_deploy_lazy.js b/truffle/migrations/2_deploy_lazy.js
index dd3131a..c571919 100644
--- a/truffle/migrations/2_deploy_lazy.js
+++ b/truffle/migrations/2_deploy_lazy.js
@@ -1,4 +1,4 @@
-var Verifier = artifacts.require('verifier');
+var Verifier = artifacts.require('Verifier');
 var VerifierProxy = artifacts.require('VerifierProxy');
 var Lazy = artifacts.require('Lazy');