Skip to content

Instantly share code, notes, and snippets.

View ldct's full-sized avatar

Li Xuanji ldct

View GitHub Profile
@ldct
ldct / demo.txt
Last active June 8, 2024 15:59
teoria wrapper demo
➜ deno run teoria.ts Eb7add11
[ "eb", "g", "bb", "db", "ab" ]
func sum(a: Int?, b: Int?) -> Int? {
a.flatMap({ unwrappedA in
b.flatMap({ unwrappedB in
.some(unwrappedA + unwrappedB)
})
})
}
func sum(_ a: [Int], _ b: [Int]) -> [Int] {
class SuperClass {
public var customInt: Int? {
didSet {
print("super")
}
}
}
class ChildClass: SuperClass {
override public var customInt: Int? {
Ariana Grande, Taylor Swift, Jonas Brothers, Katy Perry, My Chemical Romance, Beyonce, Rihanna, Lizzo, BTS, Charli Damelio, Shakira, Miley Cyrus, Selena Gomez, Nick Jonas, Demi Lovato, Billie Eilish, Justin Beiber, Joji, Arctic Monkeys, Lana Del Rey, Drake, Eminem, Maddona, Camilla Cabello, Little Mix, Shawn Mendes, Fifth Harmony, Eminem, One Direction, Adele, Avicii, Bruno Mars, Charli XCX, Britney Spears, BlackPink, Kacey Musgraves, Calvin Harris, Nicki Minaj, Cardi B, Chris Brown, Michael Jackson, Charlie Puth, Coldplay, DJ Khaled, The Chainsmokers, Doja Cat, Dua Lipa, Ed Sheeran, Lady Gaga, Ellie Goulding, Harry Styles, Zayn Mallik, Niall Horan, Loius Tomlinson, Liam Payne, Justin Timberlake, Iggy Azealea, Jay Z, Jessie, Jason Derulo, Melanie Martinez, Khalid, Kanye West, Kesha, Meghan Trainor, Macklemore, Pink, Pitbull, Post Malone, Rita Ora, Sia, Sam Smith, Usher, Travis Scott, Troye Sivan, Conan Gray, The Weekend, The Vamps, Zedd, 5SOS, Mxmtoon.
#!/usr/bin/env python3
from collections import deque
T = int(input())
def ans(maze):
N = len(maze)
M = len(maze[0])
import tactic
import data.real.basic
import data.num.basic
-- Chapter 1
def T_hanoi : ℕ → ℤ
| nat.zero := 0
| (nat.succ x) := (2* T_hanoi x) + 1

Contracts

The only dependency nonce used per channel is a single uint256. Each app continues to have an app-specific local nonce used for updates. The free balance does not have a local nonce. There can be at most 128 active apps (an active app is defined as one that has been installed but not uninstalled).

The dependency nonce has multiple dependents, but a dependent may in general depend on only some of the bits of the dependency nonce. We therefore treat the dependency nonce as a bitvector. Note that for determining which version of a dependency nonce is more recent we continue to interpret the dependency nonce as a uint (an equivalent way of saying this is that we order dependency nonces, treated as bitvectors, lexicographically).

The dependency nonce is logically divided into three regions:

d_nonce[0:120] => rooted order bits
https://eprint.iacr.org/2018/627
https://notes.ethereum.org/SCIg8AH5SA-O4C1G1LYZHQ?view#Full-Casper-chain-v2
https://eprint.iacr.org/2004/310.pdf
https://github.com/BANKEX/research/blob/master/Plasma/NaiveSnark/single_transaction.pdf
https://zkproof.org/ZKProof%20Applications%20Draft%200.1.pdf
https://eprint.iacr.org/2016/646.pdf
https://arxiv.org/pdf/1801.00862.pdf
https://iohk.io/research/papers/
https://iohk.io/research/library
https://www.cs.utexas.edu/~vijay/papers/hotstorage18-eth.pdf
- qu'est-ce que ca veut dire? "For illustration, consider Alice having a ledger state channel with Ingrid in cryptocurrency A, and Bob having a ledger state channel with Ingrid in cryptocurrency B. Now, Alice and Bob can build a virtual state channel over Ingrid, where Alice (resp. Bob) is oblivious of the details of cryptocurrency B (resp. cryptocurrency A)."
- '' : layers of defense
- is perun1 not sprites-compatible?