LogUp-GKR tracking PR - Githubissues

0xPolygonMiden / miden-vm

STARK-based virtual machine

MIT License

611 stars 148 forks source link

LogUp-GKR tracking PR #1367

Open bobbinth opened 1 week ago

bobbinth commented 1 week ago

This is a tracking PR for the LogUp GKR work. The plan right now is:

Get the end-to-end process working.
Move all generic code to Winterfell (probably for Winterfell v0.10.0 release).
- At this point we should finalize the public interface for LogUp-GKR in Winterfell.
Update this branch to use the new release of Winterfell.