https://github.com/zkcrypto/bellman

zk-SNARK library.
https://github.com/zkcrypto/bellman

Last synced: about 2 months ago
JSON representation

zk-SNARK library.

• Host: GitHub
• URL: https://github.com/zkcrypto/bellman
• Owner: zkcrypto
• License: other
• Created: 2015-12-24T10:00:37.000Z (almost 9 years ago)
• Default Branch: main
• Last Pushed: 2024-03-04T18:24:30.000Z (10 months ago)
• Last Synced: 2024-04-14T12:11:17.048Z (8 months ago)
• Language: Rust
• Homepage:
• Size: 3.24 MB
• Stars: 932
• Watchers: 40
• Forks: 517
• Open Issues: 32
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

• awesome-cryptography-rust - bellman - SNARK library. (zcash - librustzcash). (Cryptography / Zero Knowledge Proofs)
• awesome-rust-security-guide - Bellman - rs) provide building blocks for constructing ZKP circuits and protocols. (6. Privacy-Preserving Technologies / 6.1 Zero-Knowledge Proofs)
• awesome-rust-security-guide - bellman - works](https://github.com/arkworks-rs) for building privacy-preserving applications. (18. Emerging Trends in Rust Security / 18.2 Zero-Knowledge Proofs and Privacy-Preserving Computation)

README

        
# bellman [![Crates.io](https://img.shields.io/crates/v/bellman.svg)](https://crates.io/crates/bellman) #

`bellman` is a crate for building zk-SNARK circuits. It provides circuit traits

and primitive structures, as well as basic gadget implementations such as

booleans and number abstractions.

`bellman` uses the `ff` and `group` crates to build circuits generically over a

scalar field type, which is used as the "word" of a circuit. Arithmetic

operations modulo the scalar field's prime are efficient, while other operations

(such as boolean logic) are implemented using these words.

## Roadmap

Currently `bellman` bundles an implementation of the Groth16 proving system.

This will be moved into a separate crate in the future, and `bellman` will

contain any utilities that make implementing proving systems easier.

## License

Licensed under either of

 * Apache License, Version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or

   http://www.apache.org/licenses/LICENSE-2.0)

 * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)

at your option.

### Contribution

Unless you explicitly state otherwise, any contribution intentionally

submitted for inclusion in the work by you, as defined in the Apache-2.0

license, shall be dual licensed as above, without any additional terms or

conditions.