Tezos is a blockchain for decentralized applications and smart contracts. It is designed to address key barriers to blockchain adoption: smart contract safety, long-term upgradeability, and open participation.

Obsidian Systems built Kiln (a GUI block validator and monitoring app), and the Tezos Baking and Tezos Wallet applications for Ledger devices. Obsidian also provided technical support for block validators who maintain the Tezos blockchain.

The majority of block validators use the Tezos Baking Ledger application to protect the funds they leverage to secure the Tezos blockchain, and more than 22% of all block validators on the Tezos blockchain use Kiln.

BTG Pactual is a Brazilian financial company that operates in the markets of investment banking, wealth management and asset management. It is the biggest investment bank in Latin America and the Caribbean and the 5th largest bank in Brazil.

Obsidian Systems helped BTG Pactual issue a tokenized Real Estate Investment Trust (REIT) on the Tezos blockchain, backed by distressed real estate in Brazilian cities. Obsidian built a secure web application for bank employees to conduct critical processes surrounding token issuance and management, all on the Tezos blockchain.

BTG Pactual had a 42% profit increase after token offerings in 2019. Obsidian delivered the token management application in just 14 weeks with no critical issues or vulnerabilities (confirmed via security audit), advancing ReitBZ’s business model via tokenizing their investment opportunities and reducing costs associated with REIT issuance.

The oldest law school in New York City, the NYU Criminal Justice Lab works on projects related to law enforcement and criminal justice.

Obsidian Systems designed, developed, and deployed mobile applications for use by police officers in the field. The Screening Tool allows law enforcement professionals to assess whether potential arrestees should be diverted for mental health evaluation instead entering the criminal system.

This tool is currently used by the Indianapolis and McLean police departments.

A venture capital-backed startup that combines customer data from many sources and uses the latest data science, machine learning, and AI techniques to perform analyze that data to provide marketing insights.

Obsidian Systems built their real-time marketing analytics engine that integrates customer information from a variety of sources and feeds it into email and digital marketing campaigns that are customized on a per customer basis. It includes a reporting dashboard and customizable visualization interface that enables tracking of key performance indicators and alerting when those indicators fall outside established thresholds.

Formation is used by several major retailers, including Starbucks.

The Center for Brains, Minds and Machines (CBMM) is a multi-institutional NSF Science and Technology Center dedicated to the study of intelligence - how the brain produces intelligent behavior and how we may be able to replicate intelligence in machines.

CBMM tapped Obsidian Systems to maintain and expand Haskell software that had been written by departing researchers. These projects were primarily in support of undergraduate and graduate level research and included interactive applications used to collect behavioral data for research purposes. We also helped train researchers in good software engineering practices and provided them with tooling to improve their efficiency.

The Kanwisher Lab Faces Project at the MIT Center for Brains Minds and Machines focuses on facial recognition in both research and practice, including a human-delegated face recognition application developed by Obsidian Systems.

Obsidian built an interactive web application that can be used by Amazon Mechanical Turk workers to label image datasets with information about the location and orientation of spatial features.

The project was completed ahead of schedule. The client was pleased with initial test runs of the experiment and expanded the scope of the application to cover more complex labeling tasks as well as larger datasets.

Interos is a supply chain analytics dashboard and risk alerting system that brings together data from thousands of sources.

The Interos system built by Obsidian Systems analyzes a corporation or public entity’s direct and indirect suppliers (i.e., their suppliers’ suppliers, and so on) based on a set of configurable risk factors and provides a real-time risk analysis dashboard, risk monitoring and alerts, and sophisticated reporting tools.

It is in use by the US Army, Department of Homeland Security, NASA, and the US Air Force and was recently used by Rep. Dan Crenshaw of Texas during a House Homeland Security Committee hearing to analyze risks in the production of voting machines for US elections.

A web-based data library for developmental scientists to securely store, manage, share, discover, and reuse research data, including videos, audio files, procedures and stimuli, and related metadata.

Databrary requested Obsidian Systems’ assistance spinning up reproducible builds, comprehensive developer environments, and the ability to add new features in order to meet the requirements of research grant investors.

We delivered a reproducible and well documented build process. Provided significant refactors to bring the desktop web application close to production Haskell standards, and integrated well known and well maintained Haskell libraries to improve the application’s maintainability.

Proceeding 5 months of work, Databrary was able to onboard some NYU Computer Science students to help maintain the application.

Job.com is evolving the traditional recruitment model using AI matching technology, smart contracts on the blockchain, enhanced feedback and financial incentives.

Provided a mock interactive application to convey the desired product behavior and an external API that interacted with their job search engine, Obsidian Systems created a dashboard to help facilitate the interaction between job seeking users, job posting users, and job.com’s matching algorithms.

A blockchain-based financial technology startup by JP Morgan veterans, that integrates with other cutting edge crypto-currency services and tools, powered by a rich, multi-platform user interface for conducting high-security financial operations.

Obsidian Systems built Chainweaver - a cross-platform desktop wallet for Kadena. Chainweaver lets users manage their accounts, transfer Kadena coins and deploy and interact with smart contracts.

Kadenamint is an implementation of the Pact smart contract language on Tendermint.

A dashboard for the daily business of trucking. LaneHoney is the first platform to publish holistic transparent real-time price data, as well as supply, demand and supplier performance information to a market that mostly operates blind via phone and fax.

Obsidian Systems pulled from numerous data sources to create a shipping lane calculator and a High Demand widget, both of which continually integrate realtime data to provide a uniquely timely snapshot of the space in an industry in which timing is everything. We generated summary reports from Market Data to allow users to compare parameters between our real marketplace opportunities with averages from across the country.

Our enhancements garnered meetings with investors and features in several industry publications.

Soostone is a specialized technology company that combines innovative software with data science to provide high-impact solutions to a diverse corporate clientele around the world.

Obsidian Systems developed a web-based interactive data visualization app for business intelligence and analytics use-cases. Obsidian supplemented Soostone’s existing software development team with interactive web application experts who could drive day-to-day development as well as contribute insights into application architecture and design.

Obsidian successfully resolved significant technological challenges impeding the development of this complex piece of software, turning around the project and making the team at Soostone overall more effective at delivering results.

A group chat and business communications system that consolidates email and chat into a unified interface.

Obsidian Systems provided end-to-end services from product definition and design to development and deployment to multiple platforms/devices.

Recognized for its innovative features, winning an Appy Award in 2018 and securing several patents for features related to data organization, email integration, surveys and reporting, and superior user interface.

Build Up is a retirement savings platform for self-employed workers. The platform makes automatic contributions to IRA based on user defined contribution percentages. The platform also allows the user to view their predicted savings based on their contribution plan.

Obsidian Systems is serving as the technology adviser for Build Up.

Kalhatti is an application without borders whose mission is to make investment more accessible. It provides investors around the world an avenue for purchasing fractional assets (‘financial sachets’) with low transaction fees through the use of blockchain and encryption technologies.

Obsidian Systems was tasked with designing and implementing the Tezos smart contracts used by Kalhatti’s platform, the API which connects their application to the blockchain, as well as automated test suites that confirmed the functionality of both.

Kittyhawk unifies the mission, aircraft and data to make drone operations safe and reliable.

Obsidian Systems worked on mission critical avionics interfaces - waypoint planning, route planning, and flights.

MIRI does foundational mathematical and informatics research to ensure that smarter-than-human artificial intelligence has a positive impact.

We assist MIRI researchers by improving the cutting edge tools they rely on for their investigations into the theory and practice of artificial intelligence. In particular we are tasked with making improvements to open source Haskell infrastructure on their behalf.

We have successfully upstreamed several contributions to the Glasgow Haskell Compiler and other Haskell tooling.

At the time, Myrtle was designing fine-grained reusable FPGA (Field Programmable Gate Array) IP cores (essentially circuit “components”) in Haskell so that they can be easily and correctly composed for a specific neural network.

Obsidian Systems wrote a DDR4 memory controller IP with extensive software property testing of combinatorial and sequential behavior. The memory control we wrote is used by the other components in their product.

When later deployed to actual FPGAs with physical memory and DDR4 memory, our work was tested and proven to work correctly.

The Nervos Network is an open source blockchain ecosystem and protocol collection solving challenges facing blockchains like Bitcoin and Ethereum. The Nervos CKB (Common Knowledge Base) is the blockchain protocol of the Nervos Network which allows any crypto-asset to be stored securely.

Obsidian Systems will produce an application for the Ledger Nano X and S hardware wallets to manage CKB and interact with the NervosDAO, the BOLOS application which will connect with the hardware wallet from desktop/laptop computers, and the LedgerJS tool which will support communicating with Ledger devices through the browser.

Composed of a tight-knit community of researchers, engineers, and business professionals, PDT is a leading global investment manager. Their investment success is driven by rigorous research, cutting edge technology, and a disciplined focus on risk management and trade execution.

PDT had been investigating using Nix to manage their complex software dependencies. They tapped Obsidian Systems’ expert knowledge in using Nix for business critical infrastructure to augment their internal migration efforts.

Initial migration of critical infrastructure was a success which has led to a further expansion of nix in their workplace that Obsidian continues to assist in.

Securitize is a platform for modernizing capital markets that specializes in issuing regulatory compliant digital securities on the blockchain. They are a worldwide leader in their field and SEC registered Transfer Agent.

Obsidian Systems was tasked with helping expand Securitize’s platform so digital assets could be issued on the Tezos blockchain in addition to Ethereum. In conjunction with their team, Obsidian built the bridge from the blockchain-agnostic Securitize Platform to digital securities deployed on to Tezos.

US Mobile Home Pros (USMHP) had an existing application that allowed a seller of a used mobile home to complete a form and have a staff member at USMHP review the information and make an offer to buy the home or connect the seller with a buyer.

Obsidian Systems was tapped to modernize the application by adding instant messaging between USMHP admins and sellers, create a marketplace that allowed the sellers to connect with independent buyers, and integrated a payment system that allowed USMHP to collect on the right for buyers and sellers to communicate without restriction so that a sale may be completed.

USMHP was able to open a new revenue stream by allowing buyers and sellers to communicate for a fee. Previously, USMHP could only buy homes themselves (in certain states) and sell them for a profit or collect a small commission to connect a seller to a broker in a state where USMHP doesn’t operate.

Vulcanize is a software company that provides decentralized application architectural guidance, project management, and code and security audits.

Obsidian was responsible for porting the MakerDAO Purple paper to Tendermint/Cosmos using the Kepler SDK. We packaged the system with Nix, provided a docker image, and simple testnet tooling.