TrustInSoft Analyzer is a C/C++/Rust source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Companies who use TrustInSoft Analyzer reduce their verification costs by 4, efforts in bug detection by 40, and obtain an irrefutable proof that their software is safe and secure.
Learn more
GroupTogether is an online group card, gift collection, and eGift Card platform that makes it easy for everyone to sign a card, chip in for a gift, or send digital gift cards in minutes. Users create a group card, choose whether to collect money or add a gift, and share one simple link with friends, family, coworkers, teams, or parents. Contributors can add messages, photos, and GIFs, while also contributing a set amount, any amount, or simply signing the card without giving money. GroupTogether keeps contributions private, avoids the awkwardness of using personal bank accounts, and provides secure payments with proof of what was collected and spent. Organizers can spend collected funds on eGift Cards, or the GroupTogether AnyCard, which lets the recipient choose from 100+ eGift Cards. Cards and gifts can be delivered digitally or downloaded as a PDF to print, making it useful for remote teams, offices, classrooms, birthdays, farewells, retirements, etc.
Learn more
Aleph Zero
Privacy-enhancing public blockchain with instant finality. Aleph Zero is built for enterprise, Web 3.0, and DeFi use-cases. Aleph Zero is a proof-of-stake public blockchain. We combined an original, aBFT consensus protocol with a customized substrate stack. Currently, we’re working on enhancing the platform with a privacy framework based on Zero-knowledge Proofs (ZKPs) and secure Multi-Party Computation (sMPC) to empower developers with a unique approach to private smart contracts. During a laboratory test, Aleph Zero’s peer-reviewed consensus protocol (AlephBFT) achieved 89,600 tx/s with a 416 ms confirmation time in a decentralized test setting of 112 AWS nodes spread across five continents. Aleph Zero’s real-world performance, especially under heavy l network load, is yet to be determined. The Aleph Zero Consensus Protocol has been officially peer-reviewed and accepted for publication in the conference proceedings of advances in financial technology 2019.
Learn more
