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 11 days ago 1 commits
surge-bot|Mirror: starknet-innovation/starks.provably.fast (⭐0)
11 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