constantine
constantine copied to clipboard
mratsim
Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
This implements a low-hanging fruit addition chain for square root for Bandersnatch and Banderwagon so that #354 is benched against fully optimized Tonelli-Shanks. cc @advaita-saha
A maintenance PR to write a few portions of barycentric precompute optimization strategy differently, along with a few cleanups and then cross testing it with a Lagrange Interpolated value from...
For regular cryptographic needs within ZK proof systems we need hashing, encryption, CSPRNGs, ... - Writeup: https://hackmd.io/bHgsH6mMStCVibM_wYvb2w#36-Stream-cipher-and-PRNG - Slides: https://www.aumasson.jp/data/talks/safe-hash.pdf - Reference trait: https://github.com/lurk-lab/neptune/blob/main/src/sponge/api.rs
This issue tracks research and potential alternatives to the current lattice reduction based scalar decomposition. This is mentioned in https://github.com/mratsim/constantine/issues/345#issuecomment-1899372371. Ideally we solve the following 3 issues: - rigorous bounds...
Specs: https://github.com/ethereum/consensus-specs/pull/3557 - Background info for Ethereum devs: https://hackmd.io/@hww/workshop_feb_2021 - a16z overview: https://a16zcrypto.com/posts/article/an-overview-of-danksharding-and-a-proposal-for-improvement-of-das/
Time to tackle proof systems now that Constantine has a robust backend and most Ethereum protocol needs are catered to. This adds support for R1CS binary format parsing as standardized...
Should close #274. Ref - https://github.com/crate-crypto/verkle-trie-ref CheckList for Pedersen Commitment + Inner Product Argument Test Generator - [x] Add the Banderwagon curve to `curves.sage` - [ ] Add Transcript -...
Requested by https://github.com/sifraitech/rust-kzg Due to the orphan rule preventing building traits on top of external libraries, the Sifraitech team needs the fields to be public. Unfortunately this conflicts with security...
Here are opcodes implementations that Constantine can provide (BigInt or cryptography related, stateless) See: https://ethereum.org/en/developers/docs/evm/opcodes/ - Opcodes - [ ] Arithmetic: ADD, MUL, SUB, DIV, MOD - [ ] Signed...