Remove a factor of n: an open mathematics challenge on Reed-Solomon mutual correlated agreement, with Lean pins against ArkLib. New mathematics for STARK security, discovered in the open.
Python Updated 12 days ago 1 commits
prism-dev|Mirror: starknet-innovation/proven.provably.fast (⭐0)
12 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Remove a factor of n: an open mathematics challenge on Reed-Solomon mutual correlated agreement, with Lean pins against ArkLib. New mathematics for STARK security, discovered in the open.
Readme