pebble-stark

pebble-stark copied to clipboard

This Pull Request is related to #3 . It changes the following: - added the initial parent and leaf functions - created a sha256 trait for hashing left and right...

agnxsh

implement FRI

2

thor314

Integrating Cairo Assembly (CASM) for AIR

2

`Feature`: Need to integrate Cairo Assembly (CASM), this is supposed to run low-level designated AIR arithmetization schemes in a STARK environment, Starkware calls it a _built-in_ feature inside its stone-prover....

agnxsh

What about CASM's low-level AIR arithmetization schemes and compatibility?

Cevedale

Investigate equivalent dependency libraries from the starkware C++ implementation

2

See list here: https://github.com/starkware-libs/stone-prover/tree/main/src/third_party Particularly it would be nice to evaluate relevant comparable libraries to - [ ] XKCP - [ ] Blake2 - [ ] gsl - [ ]...

thor314

Migrate starkware/math

3

Migrate [math](https://github.com/starkware-libs/stone-prover/tree/main/src/starkware/math). Relatively self-contained, only about 300 lines of code.

thor314

migrate randomness

2

migrate [randomness](https://github.com/starkware-libs/stone-prover/tree/main/src/starkware/randomness). Relatively small part of the code-base, will rely on finding a decent blake2 hashing library.

thor314