Skip to content

Issues: zkFold/zkfold-base

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.

Sign up for GitHub

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

82 Open 126 Closed
82 Open 126 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add elliptic curve cycles to the hierarchy
#455 opened Jan 21, 2025 by vlasin
@echatav
Add Pluto-Eris curves
#454 opened Jan 21, 2025 by vlasin
@echatav
Use set inclusion constraints in bitwise operations
#451 opened Jan 18, 2025 by vlasin
3 tasks
@hovanja2011
Use custom polynomial gates in MiMC
#450 opened Jan 18, 2025 by vlasin
@hovanja2011
Refactor Symbolic ECDSA & ZkPass
#448 opened Jan 17, 2025 by echatav
3 tasks
Find and add Rust implementation of Plonk prove
#447 opened Jan 17, 2025 by diS3e
@diS3e
Migrate Symbolic codebase to the new unsized types
#436 opened Jan 7, 2025 by TurtlePU
Add unsized Symbolic types to symbolic-base
#435 opened Jan 7, 2025 by TurtlePU
Generalize fold constraints to use fold-in-fold
#434 opened Jan 7, 2025 by TurtlePU
@TurtlePU
Add IVC transformation pass to the compilation pipeline
#433 opened Jan 7, 2025 by TurtlePU
@TurtlePU
Implement Symbolic List API which uses folding
#432 opened Jan 7, 2025 by TurtlePU
@TurtlePU
Finish Fold constraints & unsized types in Symbolic Mega Issue
#430 opened Jan 7, 2025 by TurtlePU
2 of 7 tasks
@TurtlePU
Generalize lookups to set inclusion constraints
#427 opened Jan 6, 2025 by vlasin
1 of 2 tasks
1
@hovanja2011
3
Remove HaskellCore and RustCore from proving protocols
#426 opened Jan 6, 2025 by vlasin
@diS3e
Rewrite polynomial division on FFT
#425 opened Jan 6, 2025 by diS3e
@diS3e
Сonfigure zkfold-prover build to use as dependency
#423 opened Jan 6, 2025 by diS3e
@diS3e
Plonkup test failure
#422 opened Dec 24, 2024 by vlasin
Ordinal class reorg
#420 opened Dec 23, 2024 by echatav
@echatav
Logical class reorg
#419 opened Dec 23, 2024 by echatav
1 task
@echatav
Add Merkle tree to Symbolic
#418 opened Dec 23, 2024 by vlasin
3 of 4 tasks
1
@hovanja2011
Implement fast proving server
#417 opened Dec 23, 2024 by diS3e
3 of 4 tasks
@diS3e
Rewrite UInt module using new FFA
#416 opened Dec 20, 2024 by zlonast
Remove context parameter from Symbolic Maybe and List
#415 opened Dec 20, 2024 by TurtlePU
Blake2b in-circuit optimization
#412 opened Dec 18, 2024 by zlonast
2 tasks
@zlonast
1
Elliptic Curve algebra hierarchy proposal
#411 opened Dec 17, 2024 by echatav
@echatav
17
ProTip! Updated in the last three days: updated:>2025-01-19.