README
¶
FairyRing
FairyRing is a decentralized cryptographic network for verifiable confidential computation.
Overview
FairyRing processes cryptographic compute requests across the Fairblock stack. Depending on the application, these requests can include homomorphic encryption (HE) operations, zero-knowledge proof (ZKP) verification, distributed key generation (DKG), and decryption key generation.
FairyRing executes these operations through a decentralized network and returns verifiable results onchain. It does not rely on a centralized offchain server or an optimistic coprocessor for cryptographic computation.
Quick Start
To learn more about Fairblock's architecture, how FairyRing interacts with other modules in the stack, and how to start building with Fairblock, visit the Fairblock Docs.
Directories
¶
| Path | Synopsis |
|---|---|
|
api
|
|
|
fairyring/common
Code generated by protoc-gen-go-pulsar.
|
Code generated by protoc-gen-go-pulsar. |
|
fairyring/keyshare
Code generated by protoc-gen-go-pulsar.
|
Code generated by protoc-gen-go-pulsar. |
|
fairyring/keyshare/module
Code generated by protoc-gen-go-pulsar.
|
Code generated by protoc-gen-go-pulsar. |
|
fairyring/pep
Code generated by protoc-gen-go-pulsar.
|
Code generated by protoc-gen-go-pulsar. |
|
fairyring/pep/module
Code generated by protoc-gen-go-pulsar.
|
Code generated by protoc-gen-go-pulsar. |
|
fairyring/zkp
Code generated by protoc-gen-go-pulsar.
|
Code generated by protoc-gen-go-pulsar. |
|
cmd
|
|
|
fairyringd
command
|
|
|
lanes
|
|
|
testutil
|
|
|
nullify
Package nullify provides methods to init nil values structs for test assertion.
|
Package nullify provides methods to init nil values structs for test assertion. |
|
x
|
|
|
keyshare/types
Package types is a reverse proxy.
|
Package types is a reverse proxy. |
|
pep/types
Package types is a reverse proxy.
|
Package types is a reverse proxy. |
|
zkp/types
Package types is a reverse proxy.
|
Package types is a reverse proxy. |
|
zkp/verification/internal/transcriptgold
Package transcriptgold loads Merlin Fiat–Shamir golden vectors for cross-checking the Go verifier against the Rust prover (same fixtures, same transcript order).
|
Package transcriptgold loads Merlin Fiat–Shamir golden vectors for cross-checking the Go verifier against the Rust prover (same fixtures, same transcript order). |
|
zkp/verification/transferctx
Package transferctx performs ZK binding checks for confidential transfers: pubkey consistency, range/equality commitment alignment, and remaining balance.
|
Package transferctx performs ZK binding checks for confidential transfers: pubkey consistency, range/equality commitment alignment, and remaining balance. |
|
zkp/verification/withdrawctx
Package withdrawctx performs ZK binding checks for withdrawals: nonce, pubkey, ciphertext, and equality/range commitment alignment.
|
Package withdrawctx performs ZK binding checks for withdrawals: nonce, pubkey, ciphertext, and equality/range commitment alignment. |