refactor: validate against ID, not commitment

da.go

@@ -18,7 +18,7 @@ type DA interface {
 	Submit(blobs []Blob) ([]ID, []Proof, error)
 
 	// Validate validates Commitment against Proof. This should be possible without retrieving Blob.
-	Validate(commits []ID, proofs []Proof) ([]bool, error)
+	Validate(ids []ID, proofs []Proof) ([]bool, error)
 }
 
 // Blob is the data submitted/received from DA interface.

da_test.go

@@ -56,21 +56,28 @@ func ExecuteDATest(t *testing.T, da da.DA) {
 	assert.NoError(t, err)
 	assert.NotEmpty(t, commitment2)
 
-	oks, err := da.Validate(commitment1, proof1)
+	oks, err := da.Validate(id1, proof1)
 	assert.NoError(t, err)
 	assert.NotEmpty(t, oks)
 	for _, ok := range oks {
 		assert.True(t, ok)
 	}
 
-	oks, err = da.Validate(commitment1, proof2)
+	oks, err = da.Validate(id2, proof2)
+	assert.NoError(t, err)
+	assert.NotEmpty(t, oks)
+	for _, ok := range oks {
+		assert.True(t, ok)
+	}
+
+	oks, err = da.Validate(id1, proof2)
 	assert.NoError(t, err)
 	assert.NotEmpty(t, oks)
 	for _, ok := range oks {
 		assert.False(t, ok)
 	}
 
-	oks, err = da.Validate(commitment2, proof1)
+	oks, err = da.Validate(id2, proof1)
 	assert.NoError(t, err)
 	assert.NotEmpty(t, oks)
 	for _, ok := range oks {

dummy_test.go

@@ -57,10 +57,10 @@ func (d *DummyDA) Submit(blobs []da.Blob) ([]da.ID, []da.Proof, error) {
 	proofs := make([]da.Proof, len(blobs))
 	for i, blob := range blobs {
 		id := d.nextID()
-		ids[i] = id
-		proofs[i] = d.getProof(id, blob)
+		ids[i] = append(id, d.getHash(blob)...)
+		proofs[i] = d.getProof(ids[i], blob)
 
-		d.data[string(id)] = blob
+		d.data[string(ids[i])] = blob
 	}
 
 	return ids, proofs, nil
@@ -72,7 +72,7 @@ func (d *DummyDA) Validate(ids []da.ID, proofs []da.Proof) ([]bool, error) {
 	}
 	results := make([]bool, len(ids))
 	for i := 0; i < len(ids); i++ {
-		results[i] = ed25519.Verify(d.pubKey, ids[i], proofs[i])
+		results[i] = ed25519.Verify(d.pubKey, ids[i][8:], proofs[i])
 	}
 	return results, nil
 }