Documentation
¶
Overview ¶
Package share contains logic related to the retrieval and random sampling of shares of block data.
Though this package contains several useful methods for getting specific shares and/or sampling them at random, a particularly useful method is GetSharesByNamespace which retrieves all shares of block data of the given namespace.ID from the block associated with the given DataAvailabilityHeader (DAH, but referred to as Root within this package).
This package also contains both implementations of the Availability interface: lightAvailability which samples for 16 shares of block data (enough to verify the block's availability on the network) and fullAvailability which samples for as many shares as necessary to fully reconstruct the block data.
TODO(@Wondertan): Instead of doing sampling over the coordinates do a random walk over NMT trees.
Index ¶
- Constants
- Variables
- func EnsureEmptySquareExists(ctx context.Context, bServ blockservice.BlockService) error
- func NewTestDAGNet(ctx context.Context, t *testing.T) *dagNet
- type Availability
- type CacheAvailability
- type Discovery
- type FullAvailability
- type LightAvailability
- type Root
- type Sample
- type Service
- func (s *Service) GetShare(ctx context.Context, dah *Root, row, col int) (Share, error)
- func (s *Service) GetShares(ctx context.Context, root *Root) ([][]Share, error)
- func (s *Service) GetSharesByNamespace(ctx context.Context, root *Root, nID namespace.ID) ([]Share, error)
- func (s *Service) Start(context.Context) error
- func (s *Service) Stop(context.Context) error
- type Share
- type TestBrokenAvailability
- type TestSuccessfulAvailability
Constants ¶
const AvailabilityTimeout = 20 * time.Minute
AvailabilityTimeout specifies timeout for DA validation during which data have to be found on the network, otherwise ErrNotAvailable is fired. TODO: https://github.com/celestiaorg/celestia-node/issues/10
Variables ¶
var DefaultSampleAmount = 16
DefaultSampleAmount sets the default amount of samples to be sampled from the network by lightAvailability.
var ( // DefaultWriteBatchSize defines the size of the batched header write. // Headers are written in batches not to thrash the underlying Datastore with writes. // TODO(@Wondertan, @renaynay): Those values must be configurable and proper defaults should be set for specific node // type. (#709) DefaultWriteBatchSize = 2048 )
var ErrNotAvailable = errors.New("da: data not available")
ErrNotAvailable is returned whenever DA sampling fails.
var GetData = ipld.ShareData
GetData extracts data out of a Share.
var GetID = ipld.ShareID
GetID extracts namespace ID out of a Share.
Functions ¶
func EnsureEmptySquareExists ¶
EnsureEmptySquareExists checks if the given DAG contains an empty block data square. If it does not, it stores an empty block. This optimization exists to prevent redundant storing of empty block data so that it is only stored once and returned upon request for a block with an empty data square. Ref: header/header.go#L56
Types ¶
type Availability ¶
type Availability interface { context.Context, *Root) error // ProbabilityOfAvailability calculates the probability of the data square // being available based on the number of samples collected. // TODO(@Wondertan): Merge with SharesAvailable method, eventually ProbabilityOfAvailability() float64 }SharesAvailable(
Availability defines interface for validation of Shares' availability.
func NewTestBrokenAvailability ¶
func NewTestBrokenAvailability() Availability
NewTestBrokenAvailability returns an instance of Availability that allows for testing error cases during sampling.
If the Root field is empty, it will return ErrNotAvailable on every call to SharesAvailable. Otherwise, it will only return ErrNotAvailable if the given Root hash matches the stored Root hash.
func NewTestSuccessfulAvailability ¶
func NewTestSuccessfulAvailability() Availability
NewTestSuccessfulAvailability returns an Availability that always returns successfully when SharesAvailable is called.
type CacheAvailability ¶
type CacheAvailability struct {
// contains filtered or unexported fields
}
CacheAvailability wraps a given Availability (whether it's light or full) and stores the results of a successful sampling routine over a given Root's hash to disk.
func NewCacheAvailability ¶
func NewCacheAvailability(avail Availability, ds datastore.Batching) *CacheAvailability
NewCacheAvailability wraps the given Availability with an additional datastore for sampling result caching.
func (*CacheAvailability) Close ¶
func (ca *CacheAvailability) Close(ctx context.Context) error
Close flushes all queued writes to disk.
func (*CacheAvailability) ProbabilityOfAvailability ¶
func (ca *CacheAvailability) ProbabilityOfAvailability() float64
func (*CacheAvailability) SharesAvailable ¶
func (ca *CacheAvailability) SharesAvailable(ctx context.Context, root *Root) error
SharesAvailable will store, upon success, the hash of the given Root to disk.
type Discovery ¶
type Discovery struct {
// contains filtered or unexported fields
}
discovery combines advertise and discover services and allows to store discovered nodes.
type FullAvailability ¶
type FullAvailability struct {
// contains filtered or unexported fields
}
FullAvailability implements Availability using the full data square recovery technique. It is considered "full" because it is required to download enough shares to fully reconstruct the data square.
func NewFullAvailability ¶
func NewFullAvailability(bServ blockservice.BlockService, disc *Discovery) *FullAvailability
NewFullAvailability creates a new full Availability.
func TestFullAvailability ¶
func TestFullAvailability(bServ blockservice.BlockService) *FullAvailability
func (*FullAvailability) ProbabilityOfAvailability ¶
func (fa *FullAvailability) ProbabilityOfAvailability() float64
func (*FullAvailability) SharesAvailable ¶
func (fa *FullAvailability) SharesAvailable(ctx context.Context, root *Root) error
SharesAvailable reconstructs the data committed to the given Root by requesting enough Shares from the network.
type LightAvailability ¶
type LightAvailability struct {
// contains filtered or unexported fields
}
LightAvailability implements Availability using Data Availability Sampling technique. It is light because it does not require the downloading of all the data to verify its availability. It is assumed that there are a lot of lightAvailability instances on the network doing sampling over the same Root to collectively verify its availability.
func NewLightAvailability ¶
func NewLightAvailability( bserv blockservice.BlockService, disc *Discovery, ) *LightAvailability
NewLightAvailability creates a new light Availability.
func TestLightAvailability ¶
func TestLightAvailability(bServ blockservice.BlockService) *LightAvailability
func (*LightAvailability) ProbabilityOfAvailability ¶
func (la *LightAvailability) ProbabilityOfAvailability() float64
ProbabilityOfAvailability calculates the probability that the data square is available based on the amount of samples collected (DefaultSampleAmount).
Formula: 1 - (0.75 ** amount of samples)
func (*LightAvailability) SharesAvailable ¶
func (la *LightAvailability) SharesAvailable(ctx context.Context, dah *Root) error
SharesAvailable randomly samples DefaultSamples amount of Shares committed to the given Root. This way SharesAvailable subjectively verifies that Shares are available.
type Root ¶
type Root = da.DataAvailabilityHeader
Root represents root commitment to multiple Shares. In practice, it is a commitment to all the Data in a square.
type Service ¶
type Service struct { Availability // contains filtered or unexported fields }
TODO(@Wondertan): Simple thread safety for Start and Stop would not hurt.
func NewService ¶
func NewService(bServ blockservice.BlockService, avail Availability) *Service
NewService creates a new basic share.Module.
type Share ¶
Share is a fixed-size data chunk associated with a namespace ID, whose data will be erasure-coded and committed to in Namespace Merkle trees.
type TestBrokenAvailability ¶
type TestBrokenAvailability struct {
Root *Root
}
func (*TestBrokenAvailability) ProbabilityOfAvailability ¶
func (b *TestBrokenAvailability) ProbabilityOfAvailability() float64
func (*TestBrokenAvailability) SharesAvailable ¶
func (b *TestBrokenAvailability) SharesAvailable(_ context.Context, root *Root) error
type TestSuccessfulAvailability ¶
type TestSuccessfulAvailability struct { }
func (*TestSuccessfulAvailability) ProbabilityOfAvailability ¶
func (tsa *TestSuccessfulAvailability) ProbabilityOfAvailability() float64
func (*TestSuccessfulAvailability) SharesAvailable ¶
func (tsa *TestSuccessfulAvailability) SharesAvailable(context.Context, *Root) error