Very interesting new project, Axiom, to enable onchain smart contracts to access historical on-chain data and other types of compute that was formerly out of reach. Uses the power of zero knowledge proof to expand what is composable in trustless fashion.
https://twitter.com/axiom_xyz/status/1620104714322051073?s=21&t=Kj09AVHw4xWuNWG2xOhjFg
@Sunfishstanford not sure from the announcement what the value prop for the “zero knowledge” bit is - archival blockchain data is already public so keeping it secret doesn’t seem to add utility. Is this about hiding the function that you personally want to compute over that data?
@Sunfishstanford but if you’re interested in the slightly more general “non-interactive proof of knowledge” side of things, there’s a fantastic paper here by my M.S. advisor that’s fairly relevant https://scholar.google.com/scholar?hl=en&as_sdt=0%2C46&q=Incrementally+Verifiable+Computation+or+Proofs+of+Knowledge+Imply+Time%2FSpace+Efficiency.&btnG=#d=gs_qabs&t=1675127928370&u=%23p%3D8pfMnQP3Za4J
