sigmazero

enables developers to easily create tokens, NFTs, apps, rollups on Bitcoin

the apps are powered by ZK/MPC cryptography, work with real Bitcoin, but without Bitcoin script and ZK circuit programming

example: token

#[provable]
pub fn example_token_policy(
    app_id: AppId,
    tx: Transaction,
    x: Data,
    #[private] w: Data,
) {
    assert_eq!(app_id.tag, TOKEN);

    let in_amount = sum_token_amount(&app_id, &tx.ins);
    let out_amount = sum_token_amount(&app_id, &tx.outs);

    if in_amount != out_amount {
        // enforce token mint/burn policy based on the transaction,
        // public and private witness data
        assert!(can_mint_or_burn(&app_id, &tx, &x, &w))
    }
}

basic structure of a token implementation 

example: NFT

#[provable]
pub fn example_nft(
    app_id: AppId,
    tx: Transaction,
    x: Data,
    #[private] w: Data,
) {
    assert_eq!(app_id.tag, NFT);

    // if the NFT state is unchanged (it was simply transferred),
    // no need to check if we can update the state
    if !nft_state_preserved(&app_id, &tx) {
        assert!(can_update_nft_state(&app_id, &tx, &x, &w))
    }
}

basic structure of NFT implementation 

team

Recognized Contributor, Bytecode Alliance

speaker, Wasmcon 2023

recent open source projects:

Ivan Mikushin

CEO, founder

ivan@sigmazero.dev

team

David Wong 

advisor

 

 

CEO, zkSecurity

Research Advisor, Archetype

progress (since Aug 20, 2024)

  • partnership with a big name in Bitcoin
    (to be announced)
  • talking with Mina Foundation
    to build Mina-Bitcoin bridge with us
  • new token standard proof of concept implementation 

insight

existing token standards on Bitcoin are not (easily) programmable

 

you can't (easily) lock Bitcoin, so that it could be unlocked by satisfying external logic

 

with these problems solved, the market for Bitcoin based tokens will quickly grow ~100x
(it is now ~$1b)

raising now

$960k in safe notes

sigmazero

By Ivan Mikushin

sigmazero

sigmazero deck

  • 148