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

example: Blake3 permutation using channels API #10

Merged
merged 51 commits into from
Feb 25, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
51 commits
Select commit Hold shift + click to select a range
0e8a314
Support for Karatsuba "infinity" point in evaluation & interpolation …
onesk Jan 31, 2025
6d4e945
[sumcheck] Small field zerocheck and its HAL support removed
onesk Jan 31, 2025
eb52576
[ring_switch] Optimize RingSwitchEqInd::multilinear_extension
dgordon-irreducible Jan 31, 2025
a12f2a4
[clippy]: avoid needless pass by value
tcoratger Feb 4, 2025
3c97cf9
[math] Fix `fold_right` crash on big multilinears and make it single …
dgordon-irreducible Feb 4, 2025
f76b29b
[math] Use specialized zero variable folding in the first sumcheck ro…
onesk Feb 4, 2025
3296da5
[test]: add test coverage for eq_ind_partial_eval
tcoratger Feb 4, 2025
6161f7f
[test]: add test coverage for inner_product_par
tcoratger Jan 30, 2025
78f7d5b
[test]: test coverage for MultilinearQuery update
tcoratger Feb 4, 2025
ce7f530
[tracing] Display proof size in graph
djadjka Feb 4, 2025
7ae9bad
[ci]: Setting Up GitHub Pipelines
milosbackonja Feb 4, 2025
612e77a
[ci]: Setting Up Mirror to GitLab (#8)
milosbackonja Feb 6, 2025
47081af
Fix typos (#2)
chloefeal Feb 7, 2025
08b11a9
[ci]: Improvements (#17)
milosbackonja Feb 10, 2025
e4c41ed
Improve test compilation time (#10)
GraDKh Feb 12, 2025
33f94b8
[serialization] Add canonical serialize/deserialize traits + derive m…
bergkvist Feb 12, 2025
ee41087
[security]: Add CODEOWNERS file for GitHub
milosbackonja Feb 12, 2025
f54479f
[scripts] Added benchmarking script
Anex007 Feb 12, 2025
3f20331
[field] Implement PackedField::unzip
GraDKh Feb 12, 2025
f843656
[cleanup]: Remove some useless checked_log_2 calls
tcoratger Feb 12, 2025
d4134dd
[field] Add TowerField::min_tower_level(self), and use it to derive A…
bergkvist Feb 12, 2025
d9b4199
[core]: simplify merkle tree `verify_opening` (#14)
tcoratger Feb 13, 2025
8d5ed7a
[ci] Adjusting nightly benchmark repository (#23)
milosbackonja Feb 13, 2025
543506e
[circuits] Simplify usage of ConstraintSystemBuilder by making it les…
bergkvist Feb 13, 2025
28fdae5
[field] Simplify usage of PackedExtension, RepackedExtension by makin…
bergkvist Feb 13, 2025
a451f4c
[macros] Remove unused IterOracles, IterPolys derive proc macros (#25)
bergkvist Feb 14, 2025
3b253ac
[matrix]: simplify scale_row (#31)
tcoratger Feb 14, 2025
d2faef5
[field] Remove unnecessary `WithUnderlier` trait bound (#32)
GraDKh Feb 14, 2025
2b0d641
[field] Optimize SIMD element access for Zen4 architecture as well. (…
GraDKh Feb 14, 2025
5a9ffd6
refactor: Use binary_tower_level for base field detection (#30)
onesk Feb 14, 2025
b3f3076
[serialization] impl SerializeCanonical, DeserializeCanonical for Con…
bergkvist Feb 17, 2025
2aeb27e
[circuits] Optimize plain_lookup using selector flushing (#29)
josephjohnston Feb 17, 2025
1cfd900
[scripts] Remove groestl run from benchmark script (#26)
Anex007 Feb 17, 2025
af81f5f
[arith_expr]: Statically compile exponentiation in ArithCircuitPoly (…
tcoratger Feb 18, 2025
401639f
[serialization] Introduce SerializationMode (#36)
bergkvist Feb 18, 2025
bfd5d47
[gkr_int_mul] Fix type bounds (#34)
djadjka Feb 18, 2025
a3fed42
feat: Blake3 G function gadget (#16)
storojs72 Feb 19, 2025
5b0cb1a
[circuits] Add test_circuit helper (#27)
bergkvist Feb 19, 2025
23b3eba
Leave only the object-safe version of the `CompositionPoly` trait (#43)
GraDKh Feb 24, 2025
e9991ce
]field] Byte-sliced fields changes (#21)
GraDKh Feb 24, 2025
04a29d0
feat: Add example of LinearCombination column usage
storojs72 Jan 23, 2025
af3b373
ci: Add basic Rust CI (#2)
samuelburnham Jan 24, 2025
2af6726
example: Linear combination with offset (#4)
storojs72 Jan 31, 2025
fc05666
example: Implement bit-shifting/rotating and packing (#5)
storojs72 Feb 3, 2025
6928690
example: Projected / Repeated columns usage (#6)
storojs72 Feb 6, 2025
9ce3e3e
examples: Transparent columns usage (part 1) (#8)
storojs72 Feb 17, 2025
5bb44de
examples: Transparent columns usage (part 2) (#9)
storojs72 Feb 17, 2025
dcf4cac
chore: Forward port
storojs72 Feb 24, 2025
8b342f7
feat: Blake3 permutation using channels API
storojs72 Feb 24, 2025
de2e620
Merge branch 'main' into as/channels
storojs72 Feb 24, 2025
8eb44b7
chore: Formatting
storojs72 Feb 24, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .cargo/config.toml
Original file line number Diff line number Diff line change
@@ -1,2 +1,5 @@
[build]
rustdocflags = ["-Dwarnings", "--html-in-header", "doc/katex-header.html"]

[alias]
fast_test = "test --tests"
203 changes: 0 additions & 203 deletions .gitlab-ci.yml

This file was deleted.

5 changes: 5 additions & 0 deletions CODEOWNERS
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
# Code owners for the entire repository
* @jimpo-ulvt @onesk

# Code owners for the .github path
/.github/ @IrreducibleOSS/Infrastructure
7 changes: 4 additions & 3 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -100,6 +100,7 @@ generic-array = "0.14.7"
getset = "0.1.2"
groestl_crypto = { package = "groestl", version = "0.10.1" }
hex-literal = "0.4.1"
inventory = "0.3.19"
itertools = "0.13.0"
lazy_static = "1.5.0"
paste = "1.0.15"
Expand All @@ -112,13 +113,13 @@ seq-macro = "0.3.5"
sha2 = "0.10.8"
stackalloc = "1.2.1"
subtle = "2.5.0"
syn = { version = "2.0.60", features = ["full"] }
syn = { version = "2.0.98", features = ["extra-traits"] }
thiserror = "2.0.3"
thread_local = "1.1.7"
tiny-keccak = { version = "2.0.2", features = ["keccak"] }
trait-set = "0.3.0"
tracing = "0.1.38"
tracing-profile = "0.9.0"
tracing-profile = "0.10.1"
transpose = "0.2.2"

[profile.release]
Expand All @@ -137,4 +138,4 @@ opt-level = 1
debug = true
debug-assertions = true
overflow-checks = true
lto = false
lto = "off"
Loading