started refactoring to use bsproof lib