Update EIP-1901: outdated links (#8199)

fix: outdated links

EIPS/eip-1901.md

@@ -16,7 +16,7 @@ This is a proposal to add [OpenRPC](https://github.com/open-rpc/spec) support to
 
 The OpenRPC Document and generated Documentation that specifies all the methods an EVM-based blockchain should implement can be found [here](https://github.com/etclabscore/ethereum-json-rpc-specification).
 
-This was first proposed [here as an ECIP](https://github.com/etclabscore/ECIPs/blob/master/ECIPs/ECIP-1053.md), but the benefits of this kind of tooling is apparent across Bitcoin, Ethereum Classic, Ethereum and other JSON-RPC accessible blockchains.
+This was first proposed [here as an ECIP](https://github.com/etclabscore/ECIPs/blob/master/ECIPs/ecip-1053.md), but the benefits of this kind of tooling is apparent across Bitcoin, Ethereum Classic, Ethereum and other JSON-RPC accessible blockchains.
 
 ## Motivation
 

EIPS/eip-3155.md

@@ -153,7 +153,7 @@ This EIP is fully backward compatible with go-ethereum. OpenEthereum, Besu and N
 
 ## Implementation
 Implementation in [go-ethereum](https://github.com/ethereum/go-ethereum/tree/master/cmd/evm)
-Implementation in [OpenEthereum](https://github.com/openethereum/openethereum/tree/master/evmbin)
+Implementation in [OpenEthereum](https://github.com/openethereum/openethereum/tree/main/bin/evmbin)
 Implementation in [Besu](https://github.com/hyperledger/besu/tree/master/ethereum/evmtool)
 Implementation in [Nethermind](https://github.com/NethermindEth/nethermind/tree/master/src/Nethermind/Nethermind.State.Test.Runner)
 

EIPS/eip-615.md

@@ -510,11 +510,11 @@ There is a large and growing ecosystem of researchers, authors, teachers, audito
 * [Ethereum 2.0 Specifications](https://github.com/ethereum/eth2.0-specs)
 * [Formal Verification of Smart Contracts](https://www.cs.umd.edu/~aseem/solidetherplas.pdf)
 * [JelloPaper: Human Readable Semantics of EVM in K](https://jellopaper.org/)
-* [KEVM: A Complete Semantics of the Ethereum Virtual Machine.](https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr.pdf)
+* [KEVM: A Complete Semantics of the Ethereum Virtual Machine.](https://www.ideals.illinois.edu/items/102260)
 * [Making Smart Contracts Smarter](https://eprint.iacr.org/2016/633.pdf)
 * [Securify: Practical Security Analysis of Smart Contracts](https://arxiv.org/pdf/1806.01143.pdf)
 * [The Thunder Protocol](https://docs.thundercore.com/thunder-whitepaper.pdf)
-* [Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL](https://ts.data61.csiro.au/publications/csiro_full_text//Amani_BBS_18.pdf)
+* [Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL](https://trustworthy.systems/publications/full_text/Amani_BBS_18.pdf)
 *[A Lem formalization of EVM 1.5](https://github.com/seed/eth-isabelle/tree/evm15)