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

refac: generalize example circuit tests #415

Merged
merged 12 commits into from May 17, 2024

Conversation

ashjeong
Copy link
Contributor

In this PR...

  • Tests for SimpleCircuit, SimpleLookupCircuit, and ShuffleCircuit have been generalized into a single test file
  • Test data unique to the circuits has been separated into separate files

Note: More testing/test data should be added in the future for more in-depth testing. Refer to tracking_testing.md for more information.

tachyon/base/array_to_vector.h Show resolved Hide resolved
tachyon/base/array_to_vector.h Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/BUILD.bazel Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/circuit_test_data.h Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/tracking_testing.md Outdated Show resolved Hide resolved
@chokobole
Copy link
Contributor

I think both of them should be test scope!

tachyon/base/array_to_vector.h Show resolved Hide resolved
tachyon/base/array_to_vector.h Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/circuit_test_data.h Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/BUILD.bazel Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/tracking_testing.md Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
@ashjeong ashjeong marked this pull request as draft May 10, 2024 13:35
@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch 8 times, most recently from cb239a9 to d26427a Compare May 13, 2024 11:17
@ashjeong ashjeong requested a review from chokobole May 13, 2024 11:19
@ashjeong ashjeong marked this pull request as ready for review May 13, 2024 11:20
@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch from d26427a to f0d9863 Compare May 13, 2024 12:09
@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch from f0d9863 to 52d8f81 Compare May 14, 2024 06:00
tachyon/zk/plonk/examples/circuit_test_data.h Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.h Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.h Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/simple_lookup_circuit_test.cc Outdated Show resolved Hide resolved
@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch from 52d8f81 to 92ed4c6 Compare May 14, 2024 08:58
@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch from 92ed4c6 to 5710537 Compare May 14, 2024 09:12
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.h Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/example_circuit_tests.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/simple_circuit_test.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/simple_lookup_circuit_test.cc Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/shuffle_circuit_test.cc Outdated Show resolved Hide resolved
@dongchangYoo
Copy link
Contributor

If there is no intention to separate circuit_test.h and example_circuit_test.h, I suggest combining them.

@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch from 5710537 to 1ac87b4 Compare May 16, 2024 07:58
Copy link
Contributor

@TomTaehoonKim TomTaehoonKim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch 2 times, most recently from 6aee1c7 to c46985f Compare May 16, 2024 12:21
@ashjeong ashjeong requested a review from chokobole May 16, 2024 12:23
tachyon/zk/plonk/permutation/label.h Outdated Show resolved Hide resolved
tachyon/base/array_to_vector.h Outdated Show resolved Hide resolved
tachyon/zk/plonk/examples/circuit_test_data.h Show resolved Hide resolved
Copy link
Contributor

@chokobole chokobole left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch from c46985f to cb28fd8 Compare May 16, 2024 15:05
@ashjeong ashjeong requested a review from Insun35 May 16, 2024 15:09
@ashjeong ashjeong force-pushed the refac/generalize-example-circuit-tests branch from cb28fd8 to 1e59bec Compare May 16, 2024 16:08
Copy link
Contributor

@dongchangYoo dongchangYoo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Copy link
Contributor

@Insun35 Insun35 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@chokobole chokobole merged commit 3c7e18c into main May 17, 2024
3 checks passed
@chokobole chokobole deleted the refac/generalize-example-circuit-tests branch May 17, 2024 02:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants