We have more than seven years of experience in blockchains and decentralized applications development.
We take part in the development of public blockchains (in particular Tezos) and have built open source private blockchain instances with on-demand extensions. This work is complemented by tooling such as block explorers, smart contract languages, IDEs, scenarios and testing tools, etc. We have also built numerous blockchain-based systems and decentralized applications, and developed/reviewed a bunch of sensitive smart contracts.
We have experts in automated reasoning, in computer-aided verification, and in model checking.
We have contributed to several
tools like the SMT
solver Alt-Ergo, the parameterized model
checker Cubicle. We have also contributed to
the model checker Kind2, or the formally verified
SMTCoq plugin which allows
to use SMT solvers in Coq.
We have
published more than 20 research papers
in the top international conferences on formal
methods (CAV, IJCAR, TACAS, FM, FMCAD, NFM,
etc.)
We have expertise in programming languages design & DSLs, compilation, profiling, and meta-programming.
We have contributed to different software in this field such as the OCaml memory profiler and js_of_ocaml. In the blockchain world, we contributed to Tezos' smart language "Michelson", and the high level language "Liquidity" with its compiler to/from "Michelson". We also wrote smart contracts IDEs that are able to generate Javascript/Typescript interface code from smart contracts, and with built-in DSLs to describe tests scenarios
We have an extensive experience and a deep understanding of the Tezos blockchain. In addition to our contribution to its core development, we help its ecosystem grow by providing custom smart contracts, crawlers, SDKs, libraries, tools, and our integration expertise for companies that want to build on Tezos.
We review your smart contracts to ensure that they are as safe as possible. Our smart contracts experts infer the specification from the code, confront it to yours, or to existing specifications, and provide you with a detailed report. With our review, you will gain more confidence in your dApp.
We deliver custom, safe and secure solutions, and help bring your ideas to life: from POC/MVC to a final product deployment.
We like challenging projects that require some R&D. We think innovation is a key component to differentiate your solution from others.
NFTs (Non-Fungible Tokens) are unique and identifiable digital assets created on blockchains. They can represent different things in the real world: digital art, real-world assets, gaming items, photography, virtual goods, etc. Because your project is as unique as your NFTs, we develop for you a unique and customized platform.
Decentralized finance (DeFi) is an emerging financial technology based on distributed ledgers used by cryptocurrencies and secured by blockchain technology. If you seek to engage and capitalize on opportunities created by this new economic system, Functori propose different solutions to help you build your unique platform and participate in this new whole paradigm.
We help you analyze and identify the best technical solution for your needs and deliver a detailed technical analysis of your project.
We like sharing our experience and expertise of blockchains, formal methods and OCaml. We can help your team better understand the ins and outs of blockchain technology.