ZK Labs provide both development and auditing services for smart contracts and projects built on the Ethereum blockchain. They recently launched a Community Audits Initiative offering to sponsor audits for select projects that have not done an ICO and don’t have plans to do one.