Division FHE — Encrypted Contract Generator

DIVISION_FHE // encrypted_contract_generator v2.0

GENERATOR

COMPARE

AUDITOR

WORLD'S FIRST

DESCRIBE. GENERATE. ENCRYPT.

AI agent that writes Fhenix CoFHE smart contracts from natural language. Fully encrypted computation on-chain. No data leaks. Ever.

SYSTEM ONLINE

CONTRACT_NAME

DESCRIBE_TARGET

MODEL:

⏱ Generation includes AI compile + PRION audit + auto-fix. May take up to 10 minutes.

// PIPELINE

INPUT → DESCRIBE → CODE_AGENT → COMPILE → REFINE → OUTPUT.SOL

100%

COMPILE_RATE

410

TESTS_PASSING

14/14

CONTRACTS

// DEPLOYED CONTRACTS — ARBITRUM SEPOLIA

// INSTALL SDK

pip install division-fhe click to copy

PYTHON

CLI

HTTP API

from division_fhe import generate, FHE_TASKS
import asyncio

# List available tasks
print(FHE_TASKS)

# Generate a contract
result = asyncio.run(generate(
    description="A private voting contract",
    name="ConfidentialVoting",
    provider="deepseek"
))
print(result["code"])

# Generate from description
division-fhe "A sealed bid auction with FHE"

# Use specific task key
division-fhe --task-key voting

# Benchmark providers
division-fhe --benchmark

# List built-in tasks
division-fhe --list-tasks

# Generate contract
curl -X POST https://sunima.app/fhenix/api/generate \
  -H "Content-Type: application/json" \
  -d '{"description":"private auction","name":"SealedAuction","provider":"deepseek"}'

# List contract types
curl https://sunima.app/fhenix/api/contracts

# Health check
curl https://sunima.app/fhenix/api/health

NORMAL vs FHE

See exactly how Fully Homomorphic Encryption changes what's possible in smart contracts.

FEATURE	REGULAR SOLIDITY	WITH FHE	WHAT YOU GAIN
Store number	uint256 public value ⚠ visible to everyone	euint64 private _value	✓ encrypted on-chain
Compare values	a > b ⚠ leaks both values	FHE.gte(a, b)	✓ result without revealing inputs
Conditional logic	if (score > 50) ⚠ score is public	FHE.select(cond, a, b)	✓ branch without leaking condition
Accept input	function vote(uint8 choice) ⚠ choice is public	function vote(inEuint8 calldata enc)	✓ encrypted user input
Decrypt	N/A — always visible	FHE.decrypt(val)	✓ controlled decryption
Per-user access	mapping(address=>uint256) ⚠ all balances public	FHE.allow(ct, user)	✓ only owner can read
Random number	block.timestamp % N ⚠ manipulable by miners	FHE.randEuint64()	✓ verifiable randomness

// SUPPORTED CONTRACT TYPES

// TRY FHE ENCRYPTION

Encrypt a number with FHE

Enter a number to see how CoFHE encrypts it on Fhenix — step by step.

EXTRACT → PACK → PROVE → VERIFY → REPLACE → DONE

Compare encrypted values (FHE.gte)

Compare two numbers without revealing them — result decrypts to TRUE or FALSE.

ENCRYPT_A → ENCRYPT_B → FHE.GTE → ALLOW → DECRYPT

// WHY FHE MATTERS

🏦

DeFi Privacy

Trade without exposing order sizes. Prevent MEV sandwich attacks. Confidential liquidity pools.

🗳️

True Governance

On-chain voting where ballots stay encrypted until tally. No vote buying, no coercion possible.

💸

Private Payments

Payroll, salaries, and transfers fully encrypted. Only sender and receiver know the amount.

🎲

Fair Randomness

FHE.randEuint64() generates verifiable random numbers that miners cannot manipulate or predict.