https://github.com/privacy-scaling-explorations/multifolding-poc

A PoC repo for a HyperNova impl
https://github.com/privacy-scaling-explorations/multifolding-poc

Last synced: 15 days ago
JSON representation

A PoC repo for a HyperNova impl

• Host: GitHub
• URL: https://github.com/privacy-scaling-explorations/multifolding-poc
• Owner: privacy-scaling-explorations
• License: mit
• Created: 2023-05-24T06:53:44.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-08-23T17:20:06.000Z (10 months ago)
• Last Synced: 2024-04-17T22:36:22.329Z (2 months ago)
• Language: Rust
• Size: 663 KB
• Stars: 79
• Watchers: 10
• Forks: 11
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-folding - multifolding-poc

README

        
# Hypernova multifolding

A complete implementation of the [Hypernova](https://eprint.iacr.org/2023/573) folding scheme (see section 5 of the paper) in arkworks.

This implementation is not meant to be used in production. Its purpose is to help us refine the interfaces and abstractions, so that multifolding can be integrated into a wider Hypernova implementation. A complete Hypernova implementation includes IVC, an in-circuit multifolding verifier, and R1CS-to-CCS and Plonkish-to-CCS compilers.



## Documentation

See `src/multifolding.rs:test_basic_multifolding()` for a demonstration of the multifolding.

See `TODO.md` for open future tasks.

## Building & Running

As usual, you can run the tests using `cargo test --release`.

## Acknowledgements

Shoutout to Espresso Systems for the [Hyperplonk implementation](https://github.com/EspressoSystems/hyperplonk/tree/main/arithmetic/src) that included useful multivariate polynomial routines.