nullark

Just use

[nullark @nullarkcom]

Now protocol fee on Nullark is 0%.
Meaning you only pay a relayer fee when withdrawing using our relayer

[nullark @nullarkcom]

6/13 The receipts:
Chain ID 4663 (Robinhood Chain)
Pool: 0xf2F67b5Cbf2dEfCB447218ef903bE6AeF5fb2995
Merkle depth 20 → room for 1,048,576 bundles
Protocol fee 0.33%, capped at 1%, increases gated by a 3-day timelock

[nullark @nullarkcom]

Formal verification is becoming the standard.

Nullark’s upcoming upgrade:
• transfers
• swaps
• [redacted]

Machine-checked in Lean.
Trust less. Prove more.

[Cointelegraph @Cointelegraph]

⚡️ TODAY: Vitalik Buterin pushed back on claims that AI hacking will doom cybersecurity, arguing AI-powered formal verification can make software fundamentally secure.

He added that holding crypto, about 90% of his net worth, is a bet on that.

[nullark @nullarkcom]

been quiet here. been working on Veil.

same Nullark, something beyond the pool.

[nullark @nullarkcom]

not going anywhere. unfortunately for the bugs, we’re still building.

[nullark @nullarkcom]

should we govern $NARK protocol with futarchy?

[nullark @nullarkcom]

@sayinshallah hey, building me

[nullark @nullarkcom]

spent 8 hours discussing fees to save you $0.03
founder mode

[nullark @nullarkcom]

@sayinshallah hi we just launched good shielded pool on rh

[nullark @nullarkcom]

One deposit; one commitment. Maybe two private notes inside.

The chain doesn’t get to know. And when one moves, it can blend in with somebody else’s same-size deposit.

Leave the chain guessing.

Nowhere else. Just Nullark.

[nullark @nullarkcom]

@VitalikButerin @GuyZys @NaolDuga until then

[nullark @nullarkcom]

Can't stop won't stop

[nullark @nullarkcom]

Nullark’s [redacted] private swap: 1 successful swap appends 1 global Merkle leaf—a [redacted] commitment to 2 private [redacted] notes.

Flat two-output UTXO: appends 2 global leaves.

Nullark

[nullark @nullarkcom]

good morning!

[zooko🛡🦓🦓🦓 ⓩ @zooko]

Got out my phone to eagerly ping my collaborators on this awesome new project as to what's the latest status, wondering why they hadn't notified me yet, and then realized it is Saturday.

[nullark @nullarkcom]

Nullark is not another privacy pool.

One public commitment can hold two independently spendable private notes.

Each child has its own secret and nullifier.

Its successful-withdrawal fund safety is machine-checked in Lean 4.

It states exactly what is proven and what remains assumed.

Nullark is building what comes next.

[Cypherpunk @cypherpunk]

Zcash has no equal.

It has a 10 year head start on everyone else.

It was the first production scale deployment of zero-knowledge proofs in the world.

It pioneered formally verified shielded pools.

It never compromised on its privacy.

Zcash is winning.

[nullark @nullarkcom]

Nullark’s [redacted] private swap: 1 successful swap appends 1 global Merkle leaf—a [redacted] commitment to 2 private [redacted] notes.

Flat two-output UTXO: appends 2 global leaves.

Nullark

[nullark @nullarkcom]

we've done compressing a leaf consumption in shielded pool

private swap is next

[nullark @nullarkcom]

The ticker is $NARK but you can also read it as SNARK
coincidence?

[nullark @nullarkcom]

@GeneralGasFee will dm

[nullark @nullarkcom]

we've done compressing a leaf consumption in shielded pool

private swap is next

[nullark @nullarkcom]

@Zcash the proof is clear

[nullark @nullarkcom]

This is literally what we built this for

[Jeremiah @jeremiahrogers]

This is an interesting idea. Recommend an exact amount from a recent shielding transaction when someone wants to unshield.

If Alice shields 98.1 ZEC, and Bob tries to unshield 95-100 ZEC within 7 days -- recommend that Bob unshield 98.1 instead.

For large transactions, the wallet could recommend combinations of values that add up to the desired amount.

[nullark @nullarkcom]

12/12 Live on Robinhood Chain (4663). Read the limits, keep any backup note private, then decide if you want to try it.
https://t.co/Amexn74gnU
https://t.co/kGWK2L1pcp

[nullark @nullarkcom]

1/12 Nullark is live on Robinhood Chain.
We also published a Lean 4 machine-checked proof about one specific thing: what happens when someone successfully withdraws ETH from the pool.

Report: https://t.co/kGWK2L1pcp

[nullark @nullarkcom]

11/12 How the pool works besides the proof: you deposit fixed amounts of ETH. One public commitment can hold two private notes. You can spend one note and leave the other untouched, without creating a new public “change” deposit.