starkoracles
starkoracles
omer@omer-Inspiron-1440:~/web-sandbox/my_django_cms$ python manage.py syncdb Error: One or more models did not validate: form_designer_form.cmsformdefinition: 'form_definition' has a relation with model , which has either not been installed or is abstract. omer@omer-Inspiron-1440:~/web-sandbox/my_django_cms$
This is probably not the cleanest way to do it but it works. It mostly relies on existing plumbing in place for passing in serde in/out. Main changes: * Separate...
The biggest part of the verifier that isn't implemented yet is the AIR constraint verification. Today, Miden's AIR constraints are defined in the Rust code itself, see: https://github.com/0xPolygonMiden/miden-vm/blob/main/air/src/lib.rs#L60-L246. Miden's team...
* Protobuf definitions for cross lang support * JS package for proof generation in the browser * NPM distribution * Implement GRPC server * E2E flow
STARK security is defined in the [ethSTARK paper](https://eprint.iacr.org/2021/582.pdf) under the security section. If you dig into the details, you'd see that in order to achieve an adequate amount of security...
When the POC was developed, we relied on some hardcoding rather than reading the proof parameters sent from Rust. These should be eliminated so we can support a greater range...
During the development of the verifier, we've introduced a number of non-deterministic inputs. There are a few different categories that we've added: * math_goldilocks.cairo - This file implements goldilocks field...