Homebrew

This guide explains how to install, configure, and manage the Colibri Server using Homebrew on macOS.

Prerequisites

Installation

Step 1: Add the Colibri Tap

brew tap corpus-core/colibri

Step 2: Install Colibri Server

brew install colibri-server

This will install:

  • colibri-server - The main server executable

  • colibri-prover - CLI tool for generating proofs

  • colibri-verifier - CLI tool for verifying proofs

  • colibri-ssz - CLI tool for SSZ encoding/decoding

Step 3: Configure the Server

The configuration file is located at:

Edit the configuration file to customize your setup:

Important Configuration Options:

Network Binding (Security):

Port:

Chain Configuration:

RPC Endpoints:

Service Management

Colibri Server can run as a background service (daemon) using Homebrew's built-in service management.

Start the Service

The server will:

  • Start automatically on system boot

  • Restart automatically if it crashes

  • Run in the background

Stop the Service

Restart the Service

Check Service Status

or

Viewing Logs

Logs are stored in:

Tail the logs in real-time:

or

View last 100 lines:

Running Manually (Without Service)

If you prefer to run the server manually (e.g., for testing):

Press Ctrl+C to stop the server.

CLI Tools Usage

Generating Proofs

Verifying Proofs

SSZ Operations

For detailed usage, run:

Updating Colibri Server

After upgrading, restart the service:

Uninstallation

Stop and Remove the Service

Uninstall the Package

Remove Configuration (Optional)

Remove the Tap (Optional)

Troubleshooting

Server Won't Start

  1. Check the logs:

  2. Verify configuration:

  3. Check if port is already in use:

Permission Issues

Homebrew services run as your user, so no sudo is required. If you encounter permission issues:

Service Not Starting on Boot

This will re-register the service with the system.

Using Colibri as Metamask RPC Provider

  1. Start the service: brew services start colibri-server

  2. In Metamask, go to Settings → Networks → Add Network

  3. Configure:

    • Network Name: Colibri Local

    • RPC URL: http://127.0.0.1:8090

    • Chain ID: 1 (or your configured chain)

    • Currency Symbol: ETH

  4. Metamask will now use your local Colibri server for all RPC requests, providing verified and trustless data.

Advanced Configuration

Performance Tuning with Memcached

For better performance, install and enable Memcached:

Then edit your config:

Restart the service:

Web Configuration UI

⚠️ Security Warning: Only enable on trusted networks!

Edit your config:

Access at: http://127.0.0.1:8090/config.html

Support

  • Documentation: https://corpus-core.gitbook.io/specification-colibri-stateless

  • GitHub: https://github.com/corpus-core/colibri-stateless

  • Issues: https://github.com/corpus-core/colibri-stateless/issues

  • Email: jork@corpus.io

License

  • Core Library: MIT License

  • Server Component: PolyForm Noncommercial License 1.0.0 (Commercial licenses available)

For commercial licensing, contact: jork@corpus.io

Last updated