lurk-lab arecibo issues

lurk-lab / arecibo

An advanced fork of Nova

https://lurk-lang.org/

MIT License

63 stars 27 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

chore: Update Rust toolchain

#388 huitseeker closed 13 hours ago
1
refactor: Bump toolchain and clean lints

#387 huitseeker closed 2 weeks ago
0
re-Adding lookups

#386 wyattbenno777 opened 1 month ago
1
chore(deps): update itertools requirement from 0.12.0 to 0.13.0 in the rust-dependencies group

#385 dependabot[bot] closed 1 month ago
0
Add Cyclefold for SuperNova

#384 wyattbenno777 opened 1 month ago
1
Return zk

#383 huitseeker closed 1 month ago
0
chore: rust toolchain needs an upgrade

#382 github-actions[bot] closed 13 hours ago
0
Maintenance

#381 huitseeker closed 2 months ago
8
Return ZK

#380 tyshkor opened 2 months ago
2
Compiling for 32-bit systems

#379 pgrinaway closed 2 months ago
1
How to verify proofs generated by Supernova/Nova?

#378 flyq closed 2 months ago
1
chore: rust toolchain needs an upgrade

#377 github-actions[bot] closed 2 months ago
1
Implement zero-knowledge

#376 wyattbenno777 opened 3 months ago
1
CycleFold code duplication

#375 huitseeker opened 3 months ago
0
chore: Move to the Ingonyama MSM

#374 winston-h-zhang opened 3 months ago
2
Remove `ShapeCS`

#373 tchataigner opened 3 months ago
1
refactor: Refactor Supernova test suite and streamline functions

#372 huitseeker closed 3 months ago
0
Generic data directory for `arecibo`

#371 winston-h-zhang opened 3 months ago
1
chore: Test Spartan2 optimizations

#370 winston-h-zhang closed 3 months ago
6
Circuit: Prefer `Default` values over `Option`

#369 adr1anh opened 3 months ago
2
SpMVM acceleration on the CPU

#368 huitseeker closed 3 months ago
2
Gadget migration to bellpepper-gadgets

#367 huitseeker opened 3 months ago
0
docs: Update README with exclusive library features and improvements

#366 huitseeker closed 3 months ago
0
chore: Refactor benchmarks for feature handling

#365 huitseeker closed 3 months ago
0
feat: Implement `Clone` trait for various structs

#364 huitseeker closed 3 months ago
0
ci: Add Solidity compatibility check

#363 samuelburnham closed 3 months ago
6
(easy) Nova forward ports + limit unused visibility for unchecked Sparse Matrix functions

#362 huitseeker closed 3 months ago
0
[WIP] Introducing PCS codebase as a separate module

#361 storojs72 opened 3 months ago
0
Supernova: better slices handling

#360 tchataigner opened 3 months ago
2
Refinement in IPA templating

#359 storojs72 closed 3 months ago
0
add small util for SuperNova testing (easy)

#358 wyattbenno777 closed 3 months ago
1
fix: typos

#357 arthurpaulino closed 3 months ago
0
[automated] Fix typos

#356 github-actions[bot] closed 3 months ago
1
Refactor to use bellpepper's new conditional selects

#355 huitseeker closed 3 months ago
0
ci: Fix `bench-pr-comment.yml`

#354 samuelburnham closed 4 months ago
0
Small Gadgets refactor

#353 huitseeker closed 4 months ago
1
chore: encapsulate sparse API

#352 winston-h-zhang closed 3 months ago
5
chore: Adapt to `ci-workflows` changes

#351 samuelburnham closed 4 months ago
0
ci: Fix `bench-pr-comment.yml` permissions

#350 samuelburnham closed 4 months ago
0
ci: use reusable workflow for bench PR comment

#349 huitseeker closed 4 months ago
0
HyperKZG+Shplonk primary PCS

#348 storojs72 closed 4 months ago
4
Public gadget utilities

#347 tchataigner closed 4 months ago
2
No more assert on result

#346 huitseeker closed 4 months ago
0
Batch inversion & normalization

#345 huitseeker closed 4 months ago
0
test: add tests for divide_with_q_and_r

#344 huitseeker closed 4 months ago
0
refactor: Optimize tau generation with PowPolynomial in snark.rs

#343 huitseeker closed 4 months ago
0
(slightly) Faster ML evaluations

#342 huitseeker closed 4 months ago
0
IPA Solidity unit-test generator

#341 storojs72 closed 3 months ago
2
feat: Introduce a proof-of-concept field Writer for writing to "native field" as well as "foreign field" transcripts

#340 huitseeker closed 4 months ago
5
add a hashchain example (Nova Forward port)

#339 huitseeker closed 4 months ago
7