Kripto — The Bitcoin Enterprise Solution

"Bona kodo" means "good code" in Esperanto. We build products and provide consulting services with the primary focus on code security. We specialize in formally verified programming, cryptography, performance, and quality.