The Acki Nacki consensus protocol is optimized for security levels greater than any other. The probability of a comet hitting the planet Earth and destroying life as we know it, is higher than Acki Nacki being successfully attacked
With a strategic partnership with Docker, GOSH doubles as a solution for software supply chain security. AnyTree makes sure that your builds are never at risk
Developing on GOSH means using smart contracts for every merge, commit, and pull request. This makes it the first development-platform where the more code you write the more secure it becomes
GOSH does not settle for code Audits
GOSH invests heavily in Formal Verification
GOSH founding member Pruvendo is the market leader in smart contract Formal Verification.
Protocol Security
Acki Nacki protocol is implemented in Safe Rust. The protocol implementation will undergo formal verification in full against the verified protocol. Once completed it will finalize Acki Nacki's security guarantees
System Smart Contracts Security
All GOSH system smart contracts are formally verified. That includes the protocol smart contracts such as Elector system for Proof of Stake security, integration smart contracts, Git-on-chain smart contracts, etc.
Application Security
All applications in the Free DAO are subject to formal verification before being accepted to the GOSH DAO. The first and only formally verified DAO platform, GOSH stores and processes all objects entirely on-chain
Latest blogposts
Copyright (c) 2024 GOSH TECHNOLOGY LTD.
VAT reg. number BG207257348