Let's say there TIP-3 — QUBE
0:9f20666ce123602fd7a995508aeaa0ece4f92133503c0dfbd609b3239f3901e2

QUBE is considered native — the case when the token comes from Everscale

Use the getNativeToken (spec) you can calculate in advance what the address will be in EVM-compatible networks, using the contract, the address of which is looking at the file broxus/bridge-assets/main.json

getNativeToken(0, 0x9f20666ce123602fd7a995508aeaa0ece4f92133503c0dfbd609b3239f3901e2)

BCH — octQUBE — 0x59caEAc900c11E48dFe1dd449De4947dEa2F9d28

*WEVER token is an exception

Math notation

AsciiMath | JLaTeXMath in PlantUML Maths + State Diagram

@startuml
state updateState {
  state dup #line.dashed
  state "(+1)" as inc
}

[*] -> dup: <math>n :: S</math>
dup --> inc
dup -> s1: <math>n :: S</math>
inc -> s2: <math>(n+1) :: S</math>
@enduml

📝edit

#Diagram #Arch

Few-shot Learning with Retrieval Augmented Language Models
arxiv.org/abs/2208.03299

Comments
Patrick Lewis: We’ve been working on better retrieval-augmented models & thrilled to present Atlas, led by Gautier Izacard, Edouard Grave & myself. Atlas is a end2end pretrained "RAG"-like model, beats models 50x its size on fewshot QA, sets numerous SotA on knowledge-intensive NLP

Sebastian Riedel: The future of language models is retrieval augmented. Atlas has better few-shot performance than PaLM, Gopher and GPT3 at a fraction of their parameter counts on tasks such as QA and fact checking that require background knowledge.

#ML #NLP

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
arxiv.org/abs/2210.12283

Comments
Albert Jiang: Large language models can write informal proofs, translate them into formal ones, and achieve SoTA performance in proving competition-level maths problems! LM-generated informal proofs are sometimes more useful than the human ground truth 🤯
Alexandre Défossez: LLMs are nice but how can we trust them? For maths, Albert Jiang, Guillaume Lample at al. show that they can work along formal provers to get the best of both world.

#Formal

Pass2Heaven whitepaper

DOI 10.51582/interconf.7-8.11.2021.037

#P2P #stealth #inheritance #IPFS

An atomic cross-chain swap is a distributed coordination task where
multiple parties exchange assets across multiple blockchains, for
example, trading bitcoin for ether

arxiv.org/pdf/1801.09515.pdf

Private Set Intersection from Homomorphic Encryption: A Python Implementation

Check out our Private Set Intersection (PSI) implementation in Python here!

In this blog post, we will first motivate our interest in PSI, by providing a list of applications: password checkup, private contact discovery for Whatsapp or Signal, measuring ads efficiency privately or DNA pattern matching. Secondly, we will show how to build a PSI protocol using a HE encryption scheme. Thirdly, we will describe our Python implementation of a specific PSI protocol.


What is PSI?
Suppose Alice has a list of friends A and Bob has a list of friends B. Alice is interested in finding out their mutual friends and Bob is ok to share this information with her. Of course, Alice would easily find this out if Bob gave her his list. Or, Alice could send her list to Bob and Bob could answer her back with the information that she is interested in. But both Alice and Bob value their privacy and neither of them wants to reveal his/her entire list of friends to the other.

- bit-ml.github.io/blog/post/private-set-intersection-an-implementation-in-python/
- eprint.iacr.org/2017/299
- github.com/bit-ml/Private-Set-Intersection

#PSI

everscale.guide

A new tutorial on how to get started with development on Everscale by @mnill. There are still some areas that can be improved, especially in terms of English wording, so if you have any feedback or suggestions, please send them to me in a private message.

сейчас идет лайв-стрим — 1008 блоков спустя — это еженедельный подкаст, где мы с биткоинерами обсуждаем события ушедшей недели, посвященный событиям прошедшей недели.

#aptos youtu.be/VJ0Tw_DPjj0

Greetings listeners!

In this episode, we'll be talking to Toghrul Maharramov as we dive into the complex world of ZKEVM. We'll be discussing the difficulties of designing ZKEVM, the spectrum of Zk-rollups, other exciting use cases for zero-knowledge, time lock encryption, and much more. Join us as we explore the cutting edge of blockchain technology and its limitless potential. Let's get started!

https://www.youtube.com/watch?v=nMIzmjvbcVw

Audio verison:

https://anchor.fm/buidlradio/episodes/Rollups--ZkEVM-and-Sharding-with-Toghrul-Maharramov-Scroll--Buidl-Radio-3-e1u7i9e