Our Team

Tal Cohen - ex-CEO of Kraken (world’s 3rd largest crypto exchange), Karthik Iyer from the P2P Foundation (where the Bitcoin whitepaper was first published), Taka Shiba from Ledger (among top 5 crypto custodians globally), founder Abhinav - deployed a tokenization solution with NSE - the No.1 exchange globally in terms of number of txs. Our engineering team has worked across 20+ Blockchains, positioning Matterhorn at the nexus of AI/Web3 expertise, industry leading backers, and proven builders.

Project details

Problem

The core problem is that current blockchain development tools are fragmented and lack safety-focused design for concurrent languages like Rholang/MeTTa. Developers face:

1.Steep Learning Curve - Rholang/MeTTa's concurrent model is unfamiliar to most developers, requiring significant time to understand execution semantics and common pitfalls

2.Safety Challenges - Concurrent code is error-prone. Race conditions, deadlocks, and non-deterministic behavior are subtle bugs that testing alone cannot reliably identify for developers. 

3.Fragmented Tooling - Developers must piece together multiple tools (editor, wallet, explorer, testing framework) without integrated workflows.

4.Limited Verification - Existing tools lack built-in mechanisms to verify concurrent code correctness, leading to expensive bugs in production

5.High Barrier to Entry - The combination of unfamiliar language, safety concerns, and fragmented tools discourages developers from building on ASI:Chain. This also applies to the Blockchain space in general, with 50+ Blockchains, 5+ smart contracting languages, multiple protocols for ZK Proofs/Interoperability on different chains, different wallets/explorers/APIs, which makes Blockchain difficult to build on even for Web2 developers.

Solution

Matterhorn addresses these challenges through a comprehensive, safety-first IDE that combines:

1. Natural Language Interface:

• Developers describe intent in natural language

• AI assists in translating intent to Rholang/MeTTa code

• Reduces cognitive load for developers learning the language

• Enables rapid prototyping and iteration

2. Blessed Template System:

• Community-vetted smart contract templates for common patterns

• Developers select and customize templates rather than writing from scratch

• Ensures core logic is always secure and correct

• Reduces risk of introducing bugs through free-form code generation

3. Integrated Testing Infrastructure:

• Concurrency fuzzer that runs code with random transaction orderings to detect race conditions

• Determinism checker that verifies code produces consistent results regardless of execution order

• Static analyzer that checks for common Rholang/MeTTa mistakes and anti-patterns

• Integration with formal verification tools for mathematical proofs of correctness

4. Human-in-the-Loop Verification:

• All AI-generated code is marked and requires explicit human review

• Developers maintain full control and understanding of their code

• AI assists but does not replace human judgment

• Clear audit trail for all code generation

• The Matterhorn team, for a fee, offers developers the option to "Vibe audit" their code with Matterhorn's engineers reviewing the code

5. Unified Developer Experience:

• IDE with code editor with syntax highlighting and error detection

• Seamless ASI Wallet integration for signing and deployment

• Block explorer integration for debugging and monitoring

• Project management and version control integration

• Local development network for offline testing

Why This Approach

We prioritize safety over speed. Rholang's concurrent nature means bugs can be subtle and expensive. Our approach uses templates, testing, and human review to catch problems early. AI assists but does not replace human judgment.

This is fundamentally different from free-form AI code generation. We recognize that:

• No single tool is perfect at detecting all concurrency bugs

• Developers need confidence in their code before deployment

• Templates provide proven patterns that reduce risk

• Human review ensures understanding and accountability

• Formal verification provides mathematical guarantees

Benefits

The IDE addresses a gap in the ASI:Chain developer ecosystem and the Blockchain ecosystem overall. Rholang/MeTTa's concurrent execution model is powerful but difficult to master. Developers face challenges in:

• Understanding concurrent programming patterns and execution semantics

• Writing code that is safe from race conditions and deadlocks

• Testing concurrent code effectively

• Deploying applications reliably

A purpose-built IDE with integrated safety mechanisms, templates, and testing tools will significantly accelerate developer onboarding and application development. This directly supports ASI:Chain's growth by:

• Reducing time-to-first-dApp from months to weeks

• Enabling developers without concurrent programming expertise to build safely

• Providing a unified development experience that integrates wallet, deployment, and debugging

• Creating a foundation for ecosystem growth and network effects

Background & Experience

Abhinav R - Founder

• 7 years in crypto

• Ex-EY (Ernst & Young) where he built ground up supply chain tools for global FMCG companies

• Built a tokenization solution launched by a Stock Exchange, built a decentralized social media application with over 2 million transactions

Jayant S - CMO

• Journalist for over 10 years, visiting Fellow at the Reuters Institute for the Study of Journalism, University of Oxford

• Editor of the Global Innovation in Media World Report for FIPP, worked across Lebanon, Saudi Arabia, Nigeria on product development

Backers

• Karthik Iyer (P2P Foundation, mined Bitcoin in 2010, on the board of multiple crypto companies)

• Takatoshi Shibayama (VP at Ledger)

• Amir Student (CSO at Market Across)

• Tal Cohen (ex-CEO of Kraken)

• Clement Simon (co-founder of Interop Ventures)

Development Team

• Amit - Product: 10 years in distributed systems and AI.

• Core team of 8 engineers built over 20 Blockchain products across 50+ chains for clients in over 10 countries.

Links and references

Website: https://www.matterhorn.so/

Platform overview: https://www.youtube.com/watch?v=dv1mqoyLrZ4&t=1065s

Team's achievements:

Talk on tokenization: https://www.youtube.com/watch?v=Ae7iDNWP51E&t=168s
First ICO from India:https://economictimes.indiatimes.com/small-biz/startups/newsbuzz/startups-test-a-brand-new-crypto-currency-ico/articleshow/61938744.cms?from=mdr
Tokenization of Gold: https://www.rediff.com/business/report/nse-blockchain-platform-for-gold-a-game-changer/20211025.htm

Additional videos

Introduction to Matterhorn: https://x.com/abhinavramesh/status/1991428233729073569?s=20

Vibecoding a prediction market with Matterhorn, with less than $100 in credits in a few hours: https://www.youtube.com/watch?v=lpACg0PqL7w