Garuda.AI

19/06/2019

Hi all!
We are glad to notify you that a new release is ready. The following functionality has been deployed to 𝗽𝗹𝗮𝘁𝗳𝗼𝗿𝗺.𝗴𝗮𝗿𝘂𝗱𝗮.𝗮𝗶

𝗚𝗮𝗿𝘂𝗱𝗮 𝗔𝗜 𝗣𝗹𝗮𝘁𝗳𝗼𝗿𝗺 𝘃𝟮.𝟭𝟳 - 𝗿𝗲𝗹𝗲𝗮𝘀𝗲 𝗻𝗼𝘁𝗲𝘀:

𝗔𝗹𝗴𝗲𝗯𝗿𝗮𝗶𝗰 𝗘𝗻𝗴𝗶𝗻𝗲

𝘕𝘦𝘸 𝘧𝘦𝘢𝘵𝘶𝘳𝘦𝘴:
– Adjustment of goal state checking procedure for selected actions.
– CVC4 prover added to the Algebraic Engine to handle checking satisfiability “Unknown” responses from Z3 prover for the mixed theories formulas. Improvement of Safety Condition checking.

𝘍𝘪𝘹𝘦𝘴:
– Bugs in goal state processing and checking of visited states.
– Bug in persisting of the traces.
– Bug in the output of -0 for the float concrete attributes.

𝗚𝗮𝗿𝘂𝗱𝗮 𝗔𝗜 𝗣𝗹𝗮𝘁𝗳𝗼𝗿𝗺 𝗪𝗲𝗯 𝗜𝗗𝗘

𝘕𝘦𝘸 𝘧𝘦𝘢𝘵𝘶𝘳𝘦𝘴:
– Trace download support. (right click on the resulted trace)
– For newly created basic protocols, conditions, axioms, and chart, “active” status are on by default.
– All model’s attributes, independently of charts settings, are now visible in the environment state in the debug/interactive mode.
– Parameters could be specified and will be validated for the behavior.
– Live model code validation support and revalidation in code editor when attributes change.

𝘍𝘪𝘹𝘦𝘴:
– Unary minus validation in formulas.
– Separated validation of Environment and Agents attribute.
– Fix of validation freeze.
– Fix of focus handler.

09/01/2019

We would like to introduce a new browser-based Garuda AI Platform (beta) for algebraic modeling, formal verification and testing of Blockchain / DLT systems behavior and security.
The Platform is new, but utilized methods and patented modeling algorithms have a long(20 years) history of academic research and enterprise application in different domains.
And now we are proud to provide Garuda AI Platform service and consulting for ambitious DLT/Blockchain projects that are aimed at the real products, not a scam.
Areas of application:
- Consensus Protocols research and design
- Token Economy modeling
- Model-based testing
and more...
https://www.garuda.ai

You are welcome to review the Live Demo and results of tokenomics modeling of the real project.
https://www.garuda.ai/tokenomics-model

Join our Telegram channel to discuss:
https://t.me/GarudaAI_tokenomics

Cheers!

Garuda AI

14/09/2018

Garuda.AI with Pandora Boxchain at BlockchainUA

12/07/2018

"That said, Hoskinson believes this interaction with academia is essential for cryptocurrencies to migrate onto the next phase. He warned that while many blockchains make wide claims for the scalability and security of their product, there's not many laymen with the skillset to properly evaluate those claims.

As such, Hoskinson said he anticipates more research on Ouroboros and cardano to emerge going forward."

Charles Hoskinson explains cardano's iterative approach to security, and how its interaction with academic gives it an advantage over other designs.

29/06/2018

We are proud to introduce our new adviser Prof. Volodymyr Skobelev! His areas of expertise are an algebraic theory of automata, applied theory of algorithms, cryptography and quantum computing.

Володимир Геннадійович Скобелєв (18 квітня 1949, Казахстан) — український математик вчений.

12/06/2018

We are very excited to announce our collaboration with one of the most ambitious blockchain projects: Pandora Boxchain – a world decentralized artificial intelligence. Pandora's goal idea is a creating of the new future for both humanity and AI and their successful cooperation – multiplicity, decentralization and open economy instead of governmental regulations and «AI ethics» Learn more: Manifesto: http://manifesto.ai/
For these purposes, Pandora Boxchain developing a new consensus protocol – Prometheus. Being ideologically consistent with Pandora Boxchain vision, Garuda.AI is proud to take part in the game.

Prometheus is a next-generation consensus protocol for public blockchains that utilizes two-tier hybrid consensus model allowing highly-scalable distributed censorship-resistant computing. In the modern world there is a limited range of mathematical methods applicable to the blockchain: consensus protocols, being multi-agent systems, are hard to model. Unlike other consensus researchers, Garuda.AI utilizes Insertional Modelling Theory and algebraic formalism for formalization and verification of distributed multi-agent systems behaviour. Our Team has over 20 years of experience in industrial formal verification, algebraic modelling, cybersecurity, and model-based testing and we are aimed at conquesting of blockchain domain together with Pandora Boxchain.
Sail Ho!

22/05/2018

22/05/2018

We are proud to announce our partnership with Skillonomy - Talent management and skill monetization platform. Garuda.AI will deal with formalization and verification of Skillonomy's Token Economy Model.

10/05/2018

Hello, world!

Garuda is a new company aimed at formal verification and analysis of blockchain solutions.
We provide service for formal verification of consensus protocols, token economy systems, and smart contracts.
Learn more: https://www.garuda.ai/