Skip to content

Navigation Menu

Appearance settings

View all features
- BY COMPANY SIZE
  Enterprises
  Small and medium teams
  Startups
  Nonprofits
- BY USE CASE
  App Modernization
  DevSecOps
  DevOps
  CI/CD
  View all use cases
- BY INDUSTRY
  Healthcare
  Financial services
  Manufacturing
  Government
  View all industries
View all solutions
- EXPLORE BY TOPIC
  AI
  Software Development
  DevOps
  Security
  View all topics
- EXPLORE BY TYPE
  Customer stories
  Events & webinars
  Ebooks & reports
  Business insights
  GitHub Skills
- SUPPORT & SERVICES
  Documentation
  Customer support
  Community forum
  Trust center
  Partners
View all resources
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  Accelerator
  GitHub Stars
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

privacy-ethereum / sonobe Public

Notifications You must be signed in to change notification settings
Fork 87
Star 268

Code
Issues 21
Pull requests 10
Actions
Projects
Security and quality
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights

Revamped HyperNova -> staging#246

Draft

winderica wants to merge 96 commits intostagingprivacy-ethereum/sonobe:stagingfrom

revamp/hypernovaprivacy-ethereum/sonobe:revamp/hypernovaCopy head branch name to clipboard

Conversation Commits96 (96)Checks Files changed

Draft

Revamped HyperNova -> staging#246
winderica wants to merge 96 commits intostagingfrom
revamp/hypernova

Commits

Commits on Feb 17, 2026

Refactor: port sumcheck, circuit traits, and more
winderica
committed
Refactor: A unifed absorb trait for native and nonnative
winderica
committed
Refactor: move `FCircuit`'s field bound to associated type
winderica
committed
Refactor: move various traits to their dedicated submodules
winderica
committed
Remove referenceable
winderica
committed
Cleanup
winderica
committed
Better design & convenient traits and utils
winderica
committed
More polynomial and power utils
winderica
committed
Prefer ark_std over std
winderica
committed
Cleanup & reduce verbosity
winderica
committed
Allow step circuit to have states of any shape
winderica
committed
Separate VC and FS into Def and Ops
winderica
committed
Cleanup
winderica
committed
FCircuit now allows external outputs
winderica
committed
Refactor code for in-circuit relation checks
winderica
committed
Adjust the naming of traits for gadgets
winderica
committed
Clean up
winderica
committed
Discussion about `Absorbable`'s design
winderica
committed
Specify MSRV
winderica
committed
Improve naming and API design
winderica
committed
Fix CI
winderica
committed
Fix clippy
winderica
committed
Actually test wasm targets
winderica
committed
Add docs for primitives
winderica
committed
Bring back R1CS and CCS tests
winderica
committed
fmt
winderica
committed
Fix missing trait bounds when enabling parallel feature
winderica
committed
Reorganize cargo.toml
winderica
committed
Fix and test emulated integers with negative limbs
winderica
committed
Fix broken images in readme
winderica
committed
New CI
winderica
committed
Actually test wasm targets
winderica
committed
Notes on terminology
winderica
committed
Refactor: initialize revamped folding scheme impl
winderica
committed
Refactor: improve test template
winderica
committed
Refactor: initialize revamped IVC
winderica
committed
Refactor: skeleton for cyclefold compiler
winderica
committed
Refactor: dedicated types for plain instance & witness
winderica
committed
Initialize augmented circuit
winderica
committed
Fully implement augmented circuit for CycleFold
winderica
committed
Finish unified CycleFold compiler
winderica
committed
Convenience trait for group based folding schemes
winderica
committed
Correctly update CF running instance & witness
winderica
committed
Prefer ark_std over std
winderica
committed
Decider key now contains pk and vk
winderica
committed
Use generic hash function in CF
winderica
committed
Initial redesign of decider trait
winderica
committed
Introduce tagged vector for plain instance & witness
winderica
committed
Make fields of CF key and proof visible
winderica
committed
Allow step circuit to have states of any shape
winderica
committed
We only need 1 public input for primary instances in CF
winderica
committed
Separate VC and FS into Def and Ops
winderica
committed
Improve trait design for group based FS
winderica
committed
Add trait bounds for in-circuit challenges
winderica
committed
Further split FS Ops
winderica
committed
Stateful prover no longer owns pk and step circuit
winderica
committed
Adjust the naming of traits for gadgets
winderica
committed
Move trait definitions to their dedicated files
winderica
committed
Clean up
winderica
committed
Improve naming and API design
winderica
committed
Fix CI
winderica
committed
Fix clippy
winderica
committed
Declare `wasm-bindgen-test` as dev-dependency
winderica
committed
Add FS & IVC docs
winderica
committed
Fmt
winderica
committed
Refactor: start porting Nova
winderica
committed
Refactor: Allow Nova to have any transcript field
winderica
committed
Prepare for cyclefold
winderica
committed
Accumulation scheme compatible interface
winderica
committed
In circuit variables for Nova instances and witnesses
winderica
committed
Implement more traits for Nova instances & witnesses
winderica
committed
Nova CycleFold adapter
winderica
committed
Hide cross term commitment in Nova
winderica
committed
FS<2, 0> for Nova
winderica
committed
Circuits for 2+0 Nova
winderica
committed
Cleanup
winderica
committed
Split impls into separate submodules
winderica
committed
Clean up
winderica
committed
Actually test wasm targets
winderica
committed
Add FS & IVC docs
winderica
committed
Refactor: start porting Ova
winderica
committed
Refactor: allow Ova to have any transcript field
winderica
committed
Prepare for cyclefold
winderica
committed
In circuit variables for Ova instances and witnesses
winderica
committed
Ova adapter
winderica
committed
Split impls into separate submodules
winderica
committed
Actually test wasm targets
winderica
committed
Add Ova docs
winderica
committed
Refactor: start porting HyperNova
winderica
committed
Test HyperNova with different `M` and `N`
winderica
committed
Accumulation scheme compatible interface for HyperNova
winderica
committed
In circuit variables for HyperNova instances and witnesses
winderica
committed
HyperNova CycleFold adapter
winderica
committed
Split impls into separate submodules
winderica
committed
Actually test wasm targets
winderica
committed
Add HyperNova docs
winderica
committed

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.