Skip to content
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

exhaustive checks on DC tests #63

Closed
armfazh opened this issue Mar 10, 2021 · 5 comments
Closed

exhaustive checks on DC tests #63

armfazh opened this issue Mar 10, 2021 · 5 comments
Assignees
Labels
pqxp PostQuantum Experimentation question

Comments

@armfazh
Copy link
Contributor

armfazh commented Mar 10, 2021

In TestDCHandshakeServerAuth, the external loop iterates over the dcTests, and the internal loops over the signatureSchemes. It seems that the test is not executing all the combinations of (dcTests, signatureSchemes), is this the intended test?
Inspecting the dcCounter value, it runs from 0 to Len only for the first test case.

	for i, test := range dcTests {
		clientConfig.SupportDelegatedCredential = test.clientDCSupport
+		t.Logf("dcCounter: %v\n", dcCounter)
		for dcCounter < len(dcTestDCScheme)-1 {
			if test.serverDCSupport {
				serverConfig.GetDelegatedCredential = testGetDelegatedCredential
				dcCounter++
			} else {
				serverConfig.GetDelegatedCredential = nil
			}
@armfazh armfazh added question pqxp PostQuantum Experimentation labels Mar 10, 2021
@claucece
Copy link
Contributor

Yes, it is expected. It is really not needed to test all the conditions as the other ones will fail one way or another. The added of a dcCounter was a request, which I think is unnecessary as it tests with every possible algorithm the tls connection (while in truthness if the DC is able to be created and validated, then it should work).

I expected to change the way DC test work when the new API lands (next week when I return to work): the usage of callbacks make it almost impossible to check with different algos and variables.

@claucece
Copy link
Contributor

I'm going to leave this open for a while until the design of the new API is taken into account.

@armfazh
Copy link
Contributor Author

armfazh commented Mar 15, 2021

the usage of callbacks make it almost impossible to check with different algos and variables

it is possible to create a factory of functions, so each produced function must use one combination of dc and signature scheme.

@claucece
Copy link
Contributor

it is possible to create a factory of functions, so each produced function must use one combination of dc and signature scheme.

The callbacks will likely disappear in the new API by using the cert ones, so no need of it then.

@claucece
Copy link
Contributor

Solved now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pqxp PostQuantum Experimentation question
Projects
None yet
Development

No branches or pull requests

2 participants