Tezra

Tezra is a cross-chain DeFi protocol that enables trustless, atomic swaps between Ethereum and Tezos. With Tezra, users can securely exchange assets across both ecosystems without relying on centralized bridges or custodians. The protocol leverages advanced smart contracts and a resolver mechanism to ensure that swaps are either completed on both chains or safely refunded, eliminating counterparty risk.

Key features:

• Atomic swaps using hash time-locked contracts (HTLCs) and a resolver mechanism for true cross-chain atomicity.
• Seamless swaps between Ethereum (including ERC-20s) and Tezos (XTZ), supporting both native and token assets.
• Fully non-custodial: users always control their funds; no third party ever holds user assets.
• Open source and auditable: all smart contracts and backend code are public for maximum transparency.
• Modern, intuitive UI inspired by leading DeFi protocols.
• Robust security: safety deposits, time locks, and on-chain validation protect against malicious actors and failures.
• Extensible architecture for future multi-chain support.

Tezra bridges the gap between Ethereum and Tezos, unlocking new DeFi opportunities with a seamless, secure, and user-friendly experience.

Tezra is a full-stack cross-chain protocol, built from the ground up to enable atomic swaps between Ethereum and Tezos. Here’s a breakdown of the architecture and technologies used:

Smart Contracts

• Ethereum (Solidity):

Core escrow contracts (EscrowSrc, EscrowDst) are written in Solidity, using the latest 0.8.x features. Contracts use the 1inch Limit Order Protocol for order matching and settlement. Hash Time-Locked Contracts (HTLCs) are implemented to ensure atomicity. Safety deposits and time locks are enforced on-chain. Extensive use of OpenZeppelin libraries for security and upgradability. Custom libraries for handling immutables, proxy deployment, and timelocks.

• Tezos (SmartPy/Michelson): The Tezos escrow contract is written in SmartPy, compiled to Michelson. The contract mirrors the logic of the Ethereum escrow, including hashlocks, time locks, and rescue/cancel flows. Entrypoints are carefully designed to match the atomic swap protocol and ensure compatibility with Ethereum-side logic. Backend Resolver Node.js/TypeScript: The backend resolver acts as the orchestrator, monitoring both chains and coordinating the swap process. It uses Ethers.js for Ethereum and Taquito for Tezos interactions. The resolver deploys escrows, monitors funding, and triggers secret revelation and settlement. All cross-chain logic is stateless and auditable; the resolver never holds user funds. The backend exposes a REST API for the frontend to interact with.

• Frontend React + Next.js + TailwindCSS: The UI is built with React and Next.js for a fast, modern SPA experience. TailwindCSS is used for rapid, responsive, and beautiful styling, inspired by 1inch Fusion+. Wallet connection is handled via MetaMask (Ethereum) and Beacon/Temple/Kukai (Tezos). The frontend guides users through each step: wallet connection, order creation, review, funding, secret revelation, and completion. All status updates and errors are surfaced in real time.

• Cross-Chain SDK @1inch/cross-chain-sdk: Used for order creation, signing, and serialization. Handles EIP-712 signing, hashlock generation, and order hashing. Provides utilities for working with both Ethereum and Tezos addresses and assets.

• Testing & DevOps Hardhat & Anvil: For Ethereum contract development, testing, and local forking. SmartPy CLI: For compiling, testing, and deploying Tezos contracts. Jest: For backend and integration tests. Docker: For local development and deployment environments. Prool: Used for spinning up local blockchain nodes for integration tests.

• Notable Hacks & Integrations Cross-Chain Address Handling: Unified address and asset handling between Ethereum and Tezos, including conversion utilities and validation. Atomicity Guarantee: The protocol ensures that either both escrows are settled or both are refunded, with no possibility of partial completion. Safety Deposit Mechanism: To prevent griefing and incentivize honest participation, a safety deposit is required and enforced on-chain. Custom Resolver Logic: The resolver is stateless and can be replaced or decentralized in the future. SmartPy Modern Syntax: The Tezos contract uses the latest SmartPy syntax, making it future-proof and easy to maintain. UI/UX: The frontend is designed to be as intuitive as possible, with clear progress indicators, error handling, and wallet management.

• Partner Technologies 1inch Limit Order Protocol: Provided a robust, audited foundation for order matching and settlement on Ethereum. OpenZeppelin: Used for secure contract patterns and utilities. Taquito & Beacon: Enabled seamless Tezos wallet integration and contract interaction.