Update draft-20241013.md

Author: luckyyang

post/draft-20241013.md

@@ -30,6 +30,15 @@ This article provides a friendly exposition to the new paper: “Really Complex
 - <https://eprint.iacr.org/2024/1620.pdf>
 ### Without Permission, With Programmable Cryptography
 - <https://x.com/oskarth/status/1844733717564309770>
+### Odyssey: A testnet OP Stack rollup aimed at enabling experimentation of bleeding edge Ethereum Research.
+- <https://github.com/ithacaxyz/odyssey>
+### Barycentric Interpolation
+Barycentric interpolation is a variant of Lagrange polynomial interpolation that is fast and stable. It deserves to be known as the standard method of polynomial interpolation.
+- <https://people.maths.ox.ac.uk/trefethen/barycentric.pdf>
+- <https://www.inf.usi.ch/hormann/papers/Hormann.2014.BI.pdf>
+### Circuitscan: submit/browse verified Circom circuits
+- <https://circuitscan.org/>
+
 ## Updates
 ### circom 2.2.0 introduces a new feature called signal buses.
 - <https://github.com/iden3/circom/blob/master/mkdocs/docs/circom-language/buses.md>
@@ -45,9 +54,6 @@ This article provides a friendly exposition to the new paper: “Really Complex
 - <https://o1js-blobstream.gitbook.io/o1js-blobstream>
 ### Ethereum's ZK & Formal Verification Endgame with Alexander Hicks
 - <https://www.youtube.com/watch?v=pIr1xlydm8k>
-### Barycentric Lagrange Interpolation
-Barycentric interpolation is a variant of Lagrange polynomial interpolation that is fast and stable. It deserves to be known as the standard method of polynomial interpolation.
-- <https://people.maths.ox.ac.uk/trefethen/barycentric.pdf>
 ### Nexus: beta release of the Nexus network
 the first distributed zkVM prover network openly accessible to anyone – is now live
 - <https://x.com/NexusLabsHQ/status/1843764801161601169>