Skip to content
This repository was archived by the owner on Feb 17, 2025. It is now read-only.

135 lpc batching #136

Closed
wants to merge 7 commits into from
Closed

135 lpc batching #136

wants to merge 7 commits into from

Conversation

ETatuzova
Copy link
Contributor

No description provided.

@ETatuzova ETatuzova linked an issue Jan 18, 2024 that may be closed by this pull request
Copy link

github-actions bot commented Jan 18, 2024

Test Results

     62 files       62 suites   3m 11s ⏱️
1 678 tests 1 678 ✔️ 0 💤 0
3 432 runs  3 432 ✔️ 0 💤 0

Results for commit 011053b.

♻️ This comment has been updated with latest results.

@ETatuzova ETatuzova requested a review from martun February 1, 2024 09:18
@martun martun self-requested a review February 1, 2024 14:26
@ETatuzova ETatuzova force-pushed the 135-lpc-batching branch 2 times, most recently from b30c32c to 22b8b9f Compare February 2, 2024 05:01
@ETatuzova ETatuzova closed this Feb 28, 2024
AndreyMlashkin pushed a commit that referenced this pull request Aug 15, 2024
…nents. (#136)

Closes #130.

Bit (de)composition currently only works when the amount of bits is less than amount of bits in field modulus.
Bit components support two modes: MSB/LSB first in output/input respectively.
Bit composition can optionally check that it's inputs are bits (belong to {0, 1}), or assume that the check has already been performed.
Logic components assume that their inputs are bits, and do not perform a check.
Bit shifts are only implemented for constant shift amounts.

* Added logic operations.

* Corrected nor test and added initializer_list constructor.

* Bit composition for < modulus_size bits.

* Corrected gate amount calculation. Added a component schematic.

* Remade bit_composition to utilise a single gate.

* Made bit_(de)composition component generic.

* Corrected bit_decomposition not checking that output is bits.

* Stopped allocating constants when they were not required.

* Shortened long lines in boolean/logic component.

* Added new tests to test runner.

* Standard compliance.

* Bit shift component added. Minor code cleanup.

* Corrected constant rows amount calculation in bit_shift.

* Changed file structure; moving to multiple implementations of bit_builder.

* Swtiched to a single (de)composition implementation.

* Renamed bit_shift to bit_shift_constant.

* Added regression test for 1 bit (de)composition.

* Forced 15 Witnesses for compatibility with compiler.

* Updated tests. Upgraded bit_shift to accept multiple value sizes.

* Added more tests for bit_composition/bit_shift.

* Moved template arguments to constructors.

* Corrected bad initialization of bit_builder_component.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

LPC batching fix
3 participants