-
Notifications
You must be signed in to change notification settings - Fork 195
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Implement v2 client GET functionality #972
base: master
Are you sure you want to change the base?
Conversation
Signed-off-by: litt3 <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
First pass on the client code. Logic LGTM. Added a bunch of nit comments to make code cleaner.
Have not looked at tests yet. Can you try to clean up the linter errors, makes it hard to read on github.
api/clients/eigenda_client_v2.go
Outdated
// EigenDAClientV2 provides the ability to get blobs from the relay subsystem, and to send new blobs to the disperser. | ||
type EigenDAClientV2 interface { | ||
// GetBlob iteratively attempts to retrieve a given blob with key blobKey from the relays listed in the blobCertificate. | ||
GetBlob(ctx context.Context, blobKey corev2.BlobKey, blobCertificate corev2.BlobCertificate) ([]byte, error) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If we only need the BlobCertificate for the relay keys, I think we should just take the relayKeys slice directly?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we might need more data from the certificate for verification (though I'm not sure yet what is required). If it turns out we don't need the cert for anything else, I'll make the suggested change
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
makes sense! I'll keep this convo unresolved as a reminder for the next review when you commit the POST code
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
api/clients/config_v2.go
Outdated
package clients | ||
|
||
import ( | ||
"github.com/Layr-Labs/eigenda/api/clients/codecs" | ||
) | ||
|
||
// EigenDAClientConfigV2 contains configuration values for EigenDAClientV2 | ||
type EigenDAClientConfigV2 struct { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Starting this thread to discuss package structure. I personally don't like that all our clients are in the same package. I think I would prefer if each client was in its own separate package, because that allows to have cleaner names, and make sure to prevent clashes. For eg:
import "...clients/v2/disperser"
import edaclient ".../v2/eigenda"
func main() {
dispClient := disperser.New(disperser.Config{...})
edaclient.New(edaclient.Config{...}, dispClient)
}
is way cleaner than having long names all under clients package.
I'm fine if people prefer to keep all the clients in same namespace, but at least I think we should separate the v1 and v2 namespace. Thoughts? @ian-shim @epociask @bxue-l2 @jianoaix
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Makes sense to me. We are getting a lot "v2" in the names around.
api/clients/eigenda_client_v2.go
Outdated
// EigenDAClientV2 provides the ability to get blobs from the relay subsystem, and to send new blobs to the disperser. | ||
type EigenDAClientV2 struct { | ||
log logging.Logger | ||
// doesn't need to be cryptographically secure, as it's only used to distribute load across relays |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
out of scope for this PR but curious if we'd ever wanna let users define their own retrieval policies when communicating with relays
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Certainly something to consider, at the latest if/when users have to pay relays for retrieval
api/clients/eigenda_client_v2.go
Outdated
func createCodec(config *EigenDAClientConfigV2) (codecs.BlobCodec, error) { | ||
lowLevelCodec, err := codecs.BlobEncodingVersionToCodec(config.PutBlobEncodingVersion) | ||
if err != nil { | ||
return nil, fmt.Errorf("create low level codec: %w", err) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
knit:
return nil, fmt.Errorf("create low level codec: %w", err) | |
return nil, fmt.Errorf("could not create low level codec: %w", err) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
knit^2: disagree here, been trying to enforce https://github.com/uber-go/guide/blob/master/style.md#error-wrapping
api/clients/eigenda_client_v2.go
Outdated
// if GetBlob returned an error, try calling a different relay | ||
if err != nil { | ||
c.log.Warn("blob couldn't be retrieved from relay", "blobKey", blobKey, "relayKey", relayKey, "error", err) | ||
continue | ||
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
what about the circumstance where the error is transient and the # of relay keys == 1?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Are you suggesting that we have an additional timeout, during which the client repeatedly retries all relays?
I could implement this if it's the way we want to go- but I don't see how the case relay keys == 1
is unique?
api/clients/eigenda_client_v2.go
Outdated
continue | ||
} | ||
|
||
// An honest relay should never send a blob which cannot be decoded |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
To expand these invariants: an honest relay should never send a blob which doesn't respect its polynomial commitments. The thing is though this check would get caught upstream (i.e, within proxy directly) and probably cause the request to fail. The proxy client would trigger a retry which would probably route to another relay.
this isn't a big problem rn and we can just document it somewhere for circle back sometime in the future.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is there any reason not to check this invariant here, included in this PR? Seems like it wouldn't be hard to add
api/clients/eigenda_client_v2.go
Outdated
|
||
// GetBlob iteratively attempts to retrieve a given blob with key blobKey from the relays listed in the blobCertificate. | ||
// | ||
// The relays are attempted in random order. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The disperser implementation itself shuffles the relay keys, so attempting each relay in order is actually fine. But it's good that we're not assuming that relay keys aren't ordered in any particular way.
Aka do we need to hit all the relayKeys to get all the blobs, or any ONE should do?
Any one should do!
api/clients/eigenda_client_v2.go
Outdated
} | ||
|
||
// GetCodec returns the codec the client uses for encoding and decoding blobs | ||
func (c *EigenDAClientV2) GetCodec() codecs.BlobCodec { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
why do we need this getter?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I carried it forward from v1 client - will remove as it may not be necessary for v2 (nevermind, see comment from Sam below)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we'll still need it. We use it in proxy to get the codec and IFFT blobs when computing commitments.
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
api/clients/v2/config.go
Outdated
type VerificationMode uint | ||
|
||
const ( | ||
// TODO: write good docs here for IFFT and NoIFFT (I need to update my understanding to be able to write this) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It looks the "PointVerificationMode" field in config already documents what these two mean.
Actually, I am not entirely sure if we want to call out "how" (i.e. IFFT and then FFT) at the interface level. What about BlobFormat or something (point v.s. coeffs) that describes the blobs, not how they are processed underneath? cc @samlaf
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It looks the "PointVerificationMode" field in config already documents what these two mean.
There's a description there, but I'm personally a bit confused by what it says, so I want to clarify to be able to write a good description here.
What about BlobFormat or something
Makes sense, I'll defer to you and Sam for the proper name here
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Signed-off-by: litt3 <[email protected]>
Why are these changes needed?
This PR creates a new
EigenDAClientV2
, and implements GET functionality for the new client. Additional client functionality will be implemented in upcoming PRs.Checks