Aleo Prover Tutorial

In every LAN environment, one machine is needed as the agent server (prover-agent), and make sure that all the prover machines can connect to agent server.

1. Run prover-agent server

For server with 1Gb/s LAN Ethernet connection, we recommand that every 100 provers share 1 agent server; for 10Gb/s lan, 500 provers share 1 agent. It is NOT recommanded to setup the agent server on WAN or expose the agent to the WAN.

# download and extract the prover-agent
wget https://release.47s3rx.org/prover-agent-v0.1.12.tgz
tar -xf prover-agent-v0.1.12.tgz
cd prover-agent-v0.1.12/

# open port on firewall
sudo ufw allow 9000/tcp

# start the agent server
bash start.sh 

2.a Run the prover on Ubuntu 18.04+

The prover needs CUDA 12.

# download and extract the prover
wget https://release.47s3rx.org/aleo-prover-0.1.14.tar.gz
tar -xf aleo-prover-0.1.14.tar.gz
cd aleo-prover/

# install the prover as a service, replace arguments within "<>"
./install.sh --pool tls://pool.47s3rx.org:16699 --address <aleo1abcdxxxxx> --name <machine_name_1> --agent <your_agent_ip>:9000

Some useful commands:

# check prover status
sudo systemctl status aleo-prover

# check prover log
tail -f /opt/aleo/prover/prover.log

# stop prover
sudo systemctl stop aleo-prover

# start prover
sudo systemctl start aleo-prover

# restart prover
sudo systemctl restart aleo-prover

2.b Run the prover on HiveOS

HiveOS settings:

Key	Value
Miner name	aleo-prover
Installation URL	https://release.47s3rx.org/aleo-prover-0.1.14.tar.gz
Hash algorithm	aleo
Wallet and worker template	%WAL%.%WORKER_NAME%
Pool URL	pool.47s3rx.org:16699
Pass	(leave empty)
Extra config arguments	<your_agent_ip>:9000 (update <your_agent_ip> according to your agent setup)